При составлении таблиц истинности необходимо:
1. Выяснить количество строк в таблице (=2n, где n – количество переменных).
2. Выяснить количество столбцов (= количество переменных + количество операций).
3. Установить последовательность выполнения логических операций.
4. Построить таблицу, указывая названия столбцов и возможные наборы значений исходных логических переменных.
5. Заполнить таблицу истинности по столбцам.
Задание 1. Построим таблицу истинности для выражения: F = (A v B) & (¬ A v ¬ B)
1. Определим количество строк =2n = 22+1 =5
2. Определим количество столбцов = 2 переменные + 5 операций = 7
3. Расставим порядок выполнения операций: 1 3 5 4 2
4. Заполним таблицу по столбцам:
А
В
A v B
¬ A
¬ B
¬ A v ¬ B
(A v B) & (¬ A v ¬ B)
0001110
0111011
1010111
1110000
Задание 2. Построить таблицу истинности логического выражения F = (A & Ø B) ˅ (Ø A & B)
Задание 3. Построить таблицу истинности логического выражения F = X v Y & ¬ Z
X
Y
Z
¬ Z
Y & ¬ Z
F = X v Y & ¬ Z
00 0100
00 1000
0 1 0111
0 1 1000
100101
101001
110111
111001