2. Алгоритм построения таблицы истинности
логической функции
1. Вычислить количество строк и столбцов (n- количество
логических переменных
Кол-во строк: Str = 2n
+ заголовок
Кол-во столбцов: Stb = кол-во переменных +кол-во операций
(A V B) ¬C
Str =
n =
Stb =
3
8
31 2
3+3=6
3. Алгоритм построения таблицы истинности
логической функции
2. Начертим таблицу и заполним заголовок:
имена переменных по алфавиту, промежуточные формулы в
соответствии с приоритетом
А B C (A V B) ¬C (A V B) ¬C
(A V B) ¬C
4. Алгоритм построения таблицы истинности
логической функции
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
5. Алгоритм построения таблицы истинности
логической функции
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
6. Алгоритм построения таблицы истинности
логической функции
5. Выпишем последний столбец в строку и представим в 16-ой СС
А 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
1110 10102 = EA16
7. Построить ТИ для логических выражений:
2) ¬B C ∧ D
3) B (C V ¬A)
4) ¬D (A ∧ ¬C)
5) (A ∧ ¬C) ∧ ¬(D A)