CEDAR Logic: алгебраическая, сокращённая ДНФ и совершенные нормальные формы для Днф через таблицу истинности