Логічні (булівські) оператори:
And - кон’юнкції (логічного І);
Or – диз’юнкції (логічного АБО);
Not– логічного заперечення;
Xor – що виключає АБО;
Eqv – логічної еквівалентності;
Imp – логічної імплікації.
Використовуються для об’єднання результатів двох або більше виразів порівняння в одне ціле. Логічні оператори можуть складатися тільки із виразів, що повертають логічні значення True, False або Null. В протилежному випадку виконується побітове порівняння. Логічні оператори завжди потребують двох операндів, за виключенням Not – логічного еквівалента унарного мінуса.
Таблиця 11.3.
Логічні оператор
| | A=True B=False
| A=True B=True
| A=False B=True
| A=False B=True
|
| A And B
| False
| True
| False
| False
|
| A Or B
| True
| True
| False
| True
|
| Not A
| False
| False
| True
| True
|
| A Xor B
| True
| False
| False
| True
|
| A Eqv B
| False
| True
| True
| False
|
| A Imp B
| False
| True
| True
| True
|
Для всіх операторів, крім Imp, значення одного з операндів Null приводить до значення Null.
Таблиця. Значення оператора ImpзNull– операндами
| | A= Null
B=False
| A= Null
B=True
| A=False
B= Null
| A=True
B= Null
| A= Null
B= Null
|
| A Imp B
| Null
| True
| True
| Null
| Null
|
У випадку, якщо порівнюються два вирази, і один з них не є константою із множини (True, False, Null), то логічні оператори призводять до побітового порівняння виразів-операндів.
Таблиця 11.4.
