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