Основные понятия алгебры логики. Функции алгебры логики. Основные логические эквивалентности

Дизъюнкция

Основные свойства:

0 v 0 = 0

0 v 1 = 1

1 v 1 = 1

0 v x = x

1 v x = 1

x v x = x

x v x v...v x = x

x v y = y v x

x v y v z = (x v y) v z = x v (y v z)

Для более легкого запоминания этой функции следует придерживаться правила: функция дизъюнкции истинна, если истенен хотя бы один из ее операндов. Это правило действует для функции, содержащей произвольное число операндов. Если обозначать значение "истина" как "1", а значение "ложь" как "0", то эта функция для двух операндов будет похожа на математическую функцию поразрядного сложения. Поэтому ее зачастую называют функцией логическогосложения. Хотя здесь следует иметь в виду, что в логическом сложении сигнал переноса в более старший разряд не вырабатывается.