Примеры выполнения контрольного задания.

1.Построить таблицу истинности для формулы

Таблица истинности имеет вид:

Легко видеть, что, если формула содержит n элементарных высказываний, то она принимает значений, состоящих из нулей и единиц, или, что тоже, таблица содержит строк.

2. Доказать равносильность

Используя равносильности 1,2,3 ,групп, запишем цепочку равносильных формул:

3. Упростить формулу

Запишем цепочку равносильных формул:

4. Доказать тождественную истинность формулы

Запишем цепочку равносильных формул: