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

- Определить n – число выражений и переменных
- Определить число столбцов в таблице (n + число операций)
- Определить число строк (m = )
Готовим таблицу истинности

Логическое выражение
A v A & B
A
B
0
0
0
A & B
1
1
0
A v A & B
0
0
0
1
0
0
1
1
1
1

Логическое выражение
A ^ ( A & B )
A
A
0
B
B
0
0
0
0
0
A & B
A & B
1
A ^ (A & B)
1
0
1
1
A ^ (A & B)
0
0
0
0
1
1
0
0
1
0
1
0
0
0
1
1
1

Логическое выражение
A v ( B & C ) = (A v B) & (A v C)
A
A
A
B
B
0
0
B
C
0
C
C
0
0
0
0
0
B & C
B & C
B & C
0
0
0
0
A v (B & C)
0
A v (B & C)
A v (B & C)
1
0
1
1
0
1
0
A v B
A v B
A v B
1
0
1
0
1
1
0
A v C
0
A v C
A v C
1
1
0
0
0
0
1
1
(A v B) & (A v C)
(A v B) & (A v C)
(A v B) & (A v C)
0
0
0
1
0
0
0
1
1
0
0
0
1
1
1
1
1
1
1
1
1
1
1
1
0
0
1
0
0
0
1
0
1
1
1
1
0
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1