Автор: Пользователь скрыл имя, 15 Ноября 2011 в 13:48, доклад
Понятие тавтологии и равносильные формулы.
Совершенная конъюнктивная нормальная формула (СКНФ) и совершенная дизъюнктивная нормальная формула (СДНФ).
Понятие предиката. Операции над предикатами.