Булева алгебра
Отрицание меняет истинность выражения на противоположную. Примеры:
| Выражение | Истинность |
|---|---|
| NOT [(3<5) AND (4>5)] | и |
| NOT [(4<5) AND (8<12)] | л |
При отрицании следует учитывать эквивалентность операторов:
| отрицаемый оператор | эквивалентный оператор |
|---|---|
| < | >= |
| > | <= |
| <= | > |
| > = | < |
В заключение приведем пример более сложного логического выражения:
[(NOT A) AND (NOT B)] OR CСогласно правилам приоритета скобки здесь не нужны. Мы поместили их только для повышения наглядности. Истинность выражения можно определить при помощи следующей таблицы:
| А | И | С | NOT A | NОТ В | (NОT A) AND (NОT В) | OR С |
|---|---|---|---|---|---|---|
| и | и | и | л | л | л | и |
| и | и | л | л | л | л | л |
| и | л | и | л | и | л | и |
| и | л | л | л | л | л | л |
| л | и | и | и | л | л | и |
| л | и | л | и | л | л | л |
| л | л | и | и | и | и | и |
| л | л | л | и | и | и | и |
Для более сложных выражений также следует составлять подобные таблицы.
Если все эти элементы логики высказываний кажутся вам слишком математизированными или абстрактными, вполне можно ориентироваться по разговорному употреблению союза "и". Высказывание: "Я был в кино и видел интересный фильм", истинно тогда и только тогда, когда истинны обе его части. Если, несмотря на то, что вы ходили в кино, но на сеансе заснули от скуки, это выражение не будет истинным. Также оно не будет истинным, если вы смотрели интересный фильм по телевизору. И, конечно же, оно будет совершенно ложным (хотя здесь нас не интересует степень ложности), если вы и не были в кино, и не смотрели там интересный фильм.
Иначе обстоит дело при разговорном применении союза "или", которое в основном означает исключающее "или", когда, например, дети хотят получить на Рождество или компьютер, или велосипед.