|
2. Правила построения таблиц истинности
Для каждого составного высказывания (логического выражения) можно построить таблицу истинности, которая определяет его истинность или ложность при всех возможных комбинациях исходных значений простых высказываний (логических переменных).
Правило 1. Количество строк = 2n, где n – количество переменных.
Правило 2. Количество столбцов = количеству переменных n + количество логических операций.
Пример 1. Построить таблицу истинности логической функции (смотреть таблицу 6)
Количество переменных n=2 (А, В – переменные). Количество строк в таблице = 22 = 4.
Число операций = 5. Количество столбцов 5+2=7.
Операция № 1 |
Операция № 2 |
Операция № 3 |
Операция № 4 |
Операция № 5 |
F1=A U B |
|
|
F4=F2UF3 |
F=F1&F4 |
Таблица 6. Таблица истинности логической функции 
A |
B |
F1=AUB |
|
|
F4=F2UF3 |
F=F1&F4 |
0 |
0 |
0 |
1 |
1 |
1 |
0 |
0 |
1 |
1 |
1 |
0 |
1 |
1 |
1 |
0 |
1 |
0 |
1 |
1 |
1 |
1 |
1 |
1 |
0 |
0 |
0 |
0 |
| 