Составление таблиц истинности

1.

2.

1. Составить таблицу истинности
F = B&(AvB)
1. Количество входных переменных в заданном
выражении равно двум (A,B). Значит, количество
входных наборов (строк) Q=22=4
2. Количество столбцов равно 4 (2 переменные + 2
операции).
A
B
0
0
0
1
1
0
1
1
AvB
B& (AvB)

3.

Проверим
A
B
AvB
B& (AvB)
0
0
0
0
1
1
1
0
1
1
1
1
A
B
AvB
B& (AvB)
0
0
0
0
0
1
1
1
1
0
1
0
1
1
1
1

4.

2. Составить таблицы истинности:
F =А&(Bv¬B)
Сколько строк?
Сколько столбцов?
A
0
0
1
1
B
0
1
0
1
¬B
Bv ¬B
А& (Bv ¬B)

5.

Проверим
F =А&(Bv¬B)
A
0
0
1
1
B
0
1
0
1
¬B
1
0
1
0
Bv ¬B
А& (Bv ¬B)

6.

Проверим
F =А&(Bv¬B)
A
0
0
1
1
B
0
1
0
1
¬B
1
0
1
0
Bv ¬B
1
1
1
1
А& (Bv ¬B)

7.

Проверим
F =А&(Bv¬B)
A
0
0
1
1
B
0
1
0
1
¬B
1
0
1
0
Bv ¬B
1
1
1
1
А& (Bv ¬B)
0
0
1
1

8.

3. Составить таблицу истинности
для логической функции:
F =А&(АvBvC)
1. Количество
заданном
входных
выражении
переменных
равно
трем
в
(A,B,C).
Значит, количество входных наборов (строк)
Q=23=8.
2. Количество столбцов равно 6 (3 переменные
+ 3 операции).

9.

Составим таблицу истинности
F =А&(АvBvC)
A
B
C
0
0
0
0
1
1
1
1
0
0
1
1
0
0
1
1
0
1
0
1
0
1
0
1
АvB
АvBvC
А&(АvBvC)

10.

Проверим
F =А&(АvBvC)
A
B
C
АvB
0
0
0
0
1
1
1
1
0
0
1
1
0
0
1
1
0
1
0
1
0
1
0
1
0
0
1
1
1
1
1
1
АvBvC
А&(АvBvC)

11.

Проверим
F =А&(АvBvC)
A
B
C
АvB
АvBvC
0
0
0
0
1
1
1
1
0
0
1
1
0
0
1
1
0
1
0
1
0
1
0
1
0
0
1
1
1
1
1
1
0
1
1
1
1
1
1
1
А&(АvBvC)

12.

Проверим
F =А&(АvBvC)
A
B
C
АvB
АvBvC
А&(АvBvC)
0
0
0
0
1
1
1
1
0
0
1
1
0
0
1
1
0
1
0
1
0
1
0
1
0
0
1
1
1
1
1
1
0
1
1
1
1
1
1
1
0
0
0
0
1
1
1
1

13.

4. Составить таблицы истинности:
F = ¬(АvBv¬C)
Сколько строк?
Сколько столбцов?
A
0
0
0
0
1
1
1
1
B
0
0
1
1
0
0
1
1
C
0
1
0
1
0
1
0
1
¬C
АvB
АvBv¬C
¬(АvBv¬C)

14.

Проверим
F = ¬(АvBv¬C)
A
0
0
0
0
1
1
1
1
B
0
0
1
1
0
0
1
1
C
0
1
0
1
0
1
0
1
¬C
1
0
1
0
1
0
1
0
АvB
АvBv¬C
¬(АvBv¬C)

15.

Проверим
F = ¬(АvBv¬C)
A
0
0
0
0
1
1
1
1
B
0
0
1
1
0
0
1
1
C
0
1
0
1
0
1
0
1
¬C
1
0
1
0
1
0
1
0
АvB
0
0
1
1
1
1
1
1
АvBv¬C
¬(АvBv¬C)

16.

Проверим
F = ¬(АvBv¬C)
A
0
0
0
0
1
1
1
1
B
0
0
1
1
0
0
1
1
C
0
1
0
1
0
1
0
1
¬C
1
0
1
0
1
0
1
0
АvB
0
0
1
1
1
1
1
1
АvBv¬C
1
0
1
1
1
1
1
1
¬(АvBv¬C)

17.

Проверим
F = ¬(АvBv¬C)
A
0
0
0
0
1
1
1
1
B
0
0
1
1
0
0
1
1
C
0
1
0
1
0
1
0
1
¬C
1
0
1
0
1
0
1
0
АvB
0
0
1
1
1
1
1
1
АvBv¬C
1
0
1
1
1
1
1
1
¬(АvBv¬C)
0
1
0
0
0
0
0
0

18.

Босова Л.Л. Информатика и ИКТ : учебник для 9 класса : в 2 ч. Ч. 1 / Л.Л.
Босова, А.Ю. Босова. – М. : БИНОМ. Лаборатория знаний, 2012.-244с.
Фон слайдов

19. Практическая работа

F A B A B