Дизъюнкция
Дизъюнкция — это логическая операция «ИЛИ»: её результат истинен, если истинно хотя бы одно из высказываний. Ложной дизъюнкция становится только тогда, когда ложны все её операнды.
Дизъюнкция относится к основным логическим связкам. Её операндами могут быть отдельные высказывания или более сложные логические выражения. В информатике значение 1 обычно называют истиной, а значение 0 — ложью.
Высказывание «Число делится на 2 или на 3» истинно для числа 12: оно делится и на 2, и на 3. Для числа 7 оба утверждения ложны, поэтому вся дизъюнкция ложна.
В обычной дизъюнкции \(A \lor B\) допускается, что истинны оба операнда. Например, выражение «\(2\) — чётное или простое число» истинно, хотя число 2 обладает обоими свойствами. Исключающее «ИЛИ» истинно только при истинности ровно одного операнда и является другой операцией.
Полностью значения дизъюнкции перечисляют в таблице истинности дизъюнкции. При увеличении числа операндов правило сохраняется: выражение \(A \lor B \lor C\) ложно только в строке, где \(A=0\), \(B=0\) и \(C=0\).
Каково значение выражения \(0 \lor 1 \lor 0\)?
Главное
- Дизъюнкция — логическая операция «ИЛИ», обозначается \(\lor\).
- Она ложна только при ложности всех операндов.
- Истинность обоих операндов не запрещена: это не исключающее «ИЛИ».