А) Беседа.

1. Что такое таблица истинности? 2. Для чего применяются таблицы истинности?

3. Расскажите технологию построения таблиц истинности.

4. Что такое эквивалентность? 5. Чем отличается эквиваленция от эквивалентности?

6. Что такое тавтология?

Пример 1. Докажите тавтологию ((X®Y)Ù(Y®Z))®(X®Z)

X	Y	Z	X®Y	Y®Z	X®Z	F1ÙF2	(F1ÙF2) ®F3

Вывод. Высказывание ((X®Y)Ù(Y®Z))®(X®Z) является тавтологий

Пример 2. Установить истинность высказывания.

А	В	С

Вывод. Высказывание истинно, когда:

А) Aº0; Bº0; Cº0; Б) Aº0; Bº1; Cº0; В) Aº0; Bº1; Cº1.

Пример 3.Эквивалентны ли высказывания: и

А	В	С

Вывод. Высказывание () и высказывание () не эквивалентны.