Законы повторения

— для дизъюнкции.

—для конъюнкции

Многократное логическое сложение (логическое умножение) одной переменной равно самой этой переменной.

Законы повторения булевой алгебры существенно отличаются от законов повторения обычной алгебры.

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

Двойное отрицание логической переменной равно самой логической перемененной.

Соотношения с нулем и единицей

8. Закон склеивания:

Докажем законы склеивания эквивалентными преобразованиями

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

Доказательства законов поглощения