a |
b |
 a |
a b |
avb |
a b |
a b |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
1 |
0 |
0 |
0 |
1 |
0 |
0 |
0 |
1 |
1 |
0 |
1 |
1 |
0 |
0 |
0 |
1 |
0 |
0 |
1 |
1 |
Опираясь на данные таблицы истинности, можно составлять таблицы истинности
для более сложных формул, например, для формулы И
– НЕ, которую можно записать так:
(a
b), или так: 
.
Эту таблицу
истинности можно сформировать последовательно (вначале (a
b), затем (a
b)).
a |
b |
ab |
(
ab) |
1 |
1 |
1 |
0 |
1 |
0 |
0 |
1 |
0 |
1 |
0 |
1 |
0 |
0 |
0 |
1 |
Подобным
образом можно составить таблицу истинности для формулы ИЛИ
– НЕ, которую можно записать так:
(a V b), или так: 
.
a |
b |
avb |
(
avb) |
1 |
1 |
1 |
0 |
1 |
0 |
1 |
0 |
0 |
1 |
1 |
0 |
0 |
0 |
0 |
1 |
Примечание:
И – НЕ называют также
«штрих Шеффера» (обозначают |), или «антиконъюнкция»; ИЛИ
– НЕ называют также «стрелка Пирса» (обозначают 
),
или «антидизъюнкция».
