Закон исключенного третьего

x v x = 1

Законы идемпотентности (равносильности)

x & x = x x v x = x

Закон двойного отрицания

x = x

Законы де Моргана

x & у = x v y x v у = x & у

Законы поглощения

x v (x & y) = x x & (x v y) = x

Любой из законов алгебры логики может быть доказан с помощью таблиц истинности.

Доказательство первого закона де Моргана x & у = x v y

x y x & у x & у x y x v y

0	0	0	1	1	1	1
0	1	0	1	1	0	1
1	0	0	1	0	1	1
1	1	1	0	0	0	0

Законы алгебры логики можно доказать путем логических рассуждений.

Доказательство первого закона поглощения x v (x & у )= x

Пусть истинна правая часть, т. е. x = 1, тогда в левой части дизъюнкция x v (x & у) истинна по определению дизъюнкции.

Пусть истинна левая часть. Тогда по

определению дизъюнкции истинна или формула x, или формула (x & у), или обе эти формулы одновременно.

Если x ложна, тогда (x & у) ложна, следовательно, x может быть только истинной.

Законы алгебры логики можно доказать путем тождественных преобразований.

Доказательство первого закона поглощения x v (x & у )= x

x v (x & у ) = (x & 1 ) v (x & у ) = x & (1 v y) = x