Математическая логика и теория алгоритмов

Лишь только, подведя итог, Ты свой дневной закончишь труд... Д. Чосер § 10. Вопросы и т емы д л я самопроверки 1. Высказывание, логические операции 1, v, =, их опре­ деления и таблицы истинности. 2. Пропозициональные формы или формулы логики высказы­ ваний, определение, примеры- Упрощение записей пропозициональ­ ных форм. 3. Методы составления таблиц истинности. 4. Тавтологии (общезначимые формулы), противоречия. Две теоремы о тавтологиях. / 5. Равносильность пропозициональных форм (формул логики высказываний), свойства отношения равносильности, 6. Важнейшие пары равносильных пропозициональных форм (запишите). 7. Зависимости между пропозициональными связками. Две теоремы о выралсении пропозициональных форм с помощью форм, содержащих связки трех видов, двух видов. 8. Закон двойственности. 9. Выполнимые пропозициональные формы. Как можно выяснить выполнимость пропозициональной формы? 10. Элементарные суммы и произведения, их свойства. 11. Нормальные формы (д.н.ф. и к.н.ф.), Алгоритмы нахождения к.н.ф.; единственна ли к.н.ф. для заданной формы? 12. Выяснение общезначимости пропозициональной формы по к.н.ф. 13. Совершенная конъюнктивная нормальная форма (с.к.н.ф.). Алгоритмы нахождения с.к.н.ф. 37