Закрепление.

Построить таблицу истинности для следующих формул:

а)

A	B	C

б)

A	B	C

в)

A	B	C					А Ú

Домашнее задание.

1) Постройте таблицы истинности следующих сложных высказываний и определите, являются ли эти высказывания тождественно истинными.

а)

б)

в)

г)

д)

е)

ж)

з)

и)

к)

л)

Тема: Законы алгебры высказываний

С помощью таблиц истинности определите, какие из следующих пар высказываний являются эквивалентными, а какие нет (самостоятельная работа по вариантам):

Вариант 1.	Вариант 2.	Вариант 3.	Вариант 4.
1)	А ÙВ; В ÙА
2) АÞВÙА; АÚВ
3) А Ù(В ÙС); (А ÙВ)ÙС		АÙ(ВÚС); (АÙ В) Ú(АÙ С)

Ответы:

А В                 1)	А В АÞВÙА АÚВ                         2)

1 Вариант 1.

А	В	С		А Ù(В ÙС)		(А ÙВ)ÙС

Вариант 2.

1) 3)

А В А ÙВ В ÙА

А В

А	В	С

2)

А В                 А В
А В С                                                                                 3)

1)

Вариант 4.

1)	А	В					2)	А	В

3)

А	В	С