Можно также сказать, что булева функция – функция от переменных, принимающих два значения, и множество ее значений состоит из двух элементов. Обычно эти два значения обозначаются либо {0, 1}, либо {false, true}. Обычно обозначение {0, 1} выбирают, если нет опасности смешать логическую истину с числом 1. Если же в тексте употребляются как числа, так и логические значения, то выбирают второе обозначение.
В Паскале есть две логические константы false, true и тип Boolean = {false, true}, с помощью которого можно вводить логические переменные: var x,y: Boolean;
В логике используются союзы И, ИЛИ, НЕТ, ЛИБО…ЛИБО, ЕСЛИ…, ТО…
Смысл этих союзов обычный:
- А ИЛИ В истинно, если истинно А или истинно В,
- НЕТ А истинно, если А ложно,
- ЛИБО А, ЛИБО В истинно, если истинно А или В, но не оба сразу,
- ЕСЛИ А, ТО В ложно, если истинно А и ложно В. Во всех остальных случаях это выражение истинно. Например, ЕСЛИ ложь, ТО В истинно не зависимо от В. Говорят в связи с этом, что из лжи следует что угодно.
Союзам И, ИЛИ, НЕТ, ЛИБО…ЛИБО в Паскале соответствуют булевы операторы: and, or, not, xor – «и», «или», «не», «разделительное или». Оператор and называется также КОНЪЮНКЦИЕЙ, оператор or – ДИЗЪЮНКЦИЕЙ, оператор not - ОТРИЦАНИЕМ. Выражения вида (x or y), (x and y), ((x and not(y)) or (not(x) and y)),и т.п. – называются булевыми.