Тождества алгебры логики

В алгебре логики существует ряд законов и тождественных соотношений, которые применяются для преобразования логических выражений. Они могут быть доказаны путем подстановки в левую и правую части всех наборов аргументов, входящих в логическое выражение.

Тождества имеют вид:

,

,

.

Из этих тождеств следует:

- если аргумент равен нулю, то его отрицание равно единице и наоборот;

- если хотя бы один сомножитель равен нулю, то произведение всегда будет равно нулю;

- если хотя бы одно слагаемое равно единице, то сумма всегда будет равна единице.