Документ описывает алгоритм построения таблицы истинности для логических функций, включая вычисление количества строк и столбцов, заполнение таблицы значениями переменных и логическими операциями. В нем также представлены примеры логических выражений и их преобразование в таблицы истинности. В завершение, результат последнего столбца представляется в шестнадцатеричной системе счисления.

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

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)