Для
связок установлены соответствующие приоритеты (старшинство связок):
Связка |
|
|
v |
|
|
Приоритет |
1 |
2 |
3 |
4 |
5 |
Поэтому в формулах И – НЕ,
ИЛИ – НЕ используются
скобки.
В этом случае будет выполняться операция, указанная в скобках, а затем
операция, находящаяся вне скобок.
Таблицу истинности для более сложной формулы
f1(a,
b) = (
a 
b V a b)
также
можно сформировать (учитывая приоритеты связок) следующим образом:
a |
b |
a |
b |
ab |
a
b |
f1(ab) |
1 |
1 |
0 |
0 |
0 |
0 |
0 |
1 |
0 |
0 |
1 |
0 |
1 |
1 |
0 |
1 |
1 |
0 |
1 |
0 |
1 |
0 |
0 |
1 |
1 |
0 |
0 |
0 |
Следует
отметить также операцию «исключающее
ИЛИ» (XOR), которую называют также «сложение по модулю
2», или «кольцевая сумма», обозначающуюся знаком «плюс» в окружности.
Таблица истинности её совпадает с таблицей истинности формулы f1(a,
b).
a |
b |
a
XOR b |
1 |
1 |
0 |
1 |
0 |
1 |
0 |
1 |
1 |
0 |
0 |
0 |
Формулы могут включать также, в частности, так называемые отношения
порядка, например, меньше (<), не меньше (
),
больше (>), не больше (
),
равно (=), не равно (
).
Например,
(a < b) (c > d).
