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