В алгебре высказываний дизъюнкция (или логическое сумма, или логическое «ИЛИ») двух высказываний А и В ложна тогда и только тогда, когда либо А истинно, либо В истинно, либо А ложно, либо В ложно, оба высказывания ( A и B ) истинны, оба высказывания ( A и B ) ложны