Построение таблиц истинности

Алгоритм построения таблицы истинности логической функции
Вычислить количество строк и столбцов (n- количество логических переменных
Кол-во строк: Str = 2n + заголовок
Кол-во столбцов: Stb = кол-во переменных +кол-во операций
(A V B) ⭢ ¬C
Str =
n =
Stb =
3
8
3
1
2
3+3=6

Алгоритм построения таблицы истинности логической функции
2. Начертим таблицу и заполним заголовок:
имена переменных по алфавиту, промежуточные формулы в соответствии с приоритетом
А
B
C
(A V B)
¬C
(A V B) ⭢ ¬C
(A V B) ⭢ ¬C

Алгоритм построения таблицы истинности логической функции
3. Заполним первые столбцы значениями переменных:
А
B
C
(A V B)
¬C
(A V B) ⭢ ¬C
(A V B) ⭢ ¬C
0
0
0
0
1
1
1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
1
0
1

Алгоритм построения таблицы истинности логической функции
4. Заполнить остальные столбцы в соответствии с таблицами истинности логических операций
А
B
C
(A V B)
¬C
(A V B) ⭢ ¬C
(A V B) ⭢ ¬C
0
0
0
0
1
1
1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
1
0
1
0
0
1
1
1
1
1
1
1
0
1
0
1
0
1
0
1
1
1
0
1
0
1
0