ТГГПУ Задача 1. Доказать равносильность формул с помощью а) таблиц истинности; б) равносильных преобразований Задача 2. Найти конъюнктивную нормальную форму формулы F. Является ли формула F тавтологией?.. #9601894

Скрин проверки АП.ВУЗ приложен на последней странице.

Задания к работе:
Задача 1.
Доказать равносильность формул с помощью
а) таблиц истинности;
б) равносильных преобразований
Задача 2.
Найти конъюнктивную нормальную форму формулы F. Является ли формула F тавтологией?..
Задача 2.
Найти конъюнктивную нормальную форму формулы F. Является ли формула F тавтологией?..
Задача 4.
Проверить правильность логического следствия
а) табличным способом;
б) с помощью конъюнктивных нормальных форм...
Задача 5.
Проверить правильность умозаключения методом от противного.
Система линейных уравнений разрешима и имеет единственное решение тогда и только тогда, когда число неизвестных совпадает с рангом системы. Данная система линейных уравнений имеет неединственное решение. Следовательно, число неизвестных данной системы не совпадает с рангом...
Задача 6.
Найти совершенные нормальные формы (С. К. Н. Ф. и С. Д. Н. Ф.) формулы F...
Задача 7.
Найти все следствия из посылок...
...
Задача 12.
При помощи законов двойного отрицания и теоремы о дедукции доказать, что следующие формулы являются теоремами исчисления высказываний...