Нормальные формы формул логики высказываний

Задачи

1.9. Доказать равносильность формул, используя таблицы истинности:

а) ;

б) .

1.10. Доказать равносильность формул задачи 1.9, используя основные логические законы.

1.11. Доказать равносильность формул (некоторые из них часто тоже относят к основным логическим законам):

а)	(поглощение);
б)	(поглощение);
в)	(склеивание);
г)	(обобщенное склеивание);
д)
е) ,	где F – произвольная формула.

1.12. Доказать, что:

а) ;

б) ;

в) .

1.13. Построить формулу U такую, чтобы данная формула была тождественно истинной:

а) ;

б) .

1.14. Построить формулу от трех переменных, которая истинна в том и только в том случае, когда ровно две переменные ложны.

1.15. Построить формулу от трех переменных, которая принимает такое же значение, как и большинство (меньшинство) переменных.

Дата добавления: 2014-01-06