ݺߣ

ݺߣShare a Scribd company logo
Построение таблиц истинности
Алгоритм построения таблицы истинности
логической функции
1. Вычислить количество строк и столбцов (n- количество
логических переменных
Кол-во строк: Str = 2n
+ заголовок
Кол-во столбцов: Stb = кол-во переменных +кол-во операций
(A V B)  ¬C
Str =
n =
Stb =
3
8
31 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
Алгоритм построения таблицы истинности
логической функции
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
Построить ТИ для логических выражений:
2) ¬B  C ∧ D
3) B  (C V ¬A)
4) ¬D  (A ∧ ¬C)
5) (A ∧ ¬C) ∧ ¬(D A)

More Related Content

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

  • 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)