Совершенная логическая нормальная форма Скнф и сднф по таблице истинности