- Логическое тождество — это пара формул, которые истинны при одних и тех же значениях переменных.
- Тождества алгебры логики:
|
| |||
|
|
|
Пример. Докажите равенство
- Решение.
А | В | ||
0 | 0 | 1 | |
0 | 1 | 1 | |
1 | 0 | 0 | |
1 | 1 | 1 | |
А | В | ||
0 | 0 | 1 | 1 |
0 | 1 | 1 | 1 |
1 | 0 | 0 | 0 |
1 | 1 | 0 | 1 |
|
| |||
|
|
|
Пример. Докажите равенство
А | В | ||
0 | 0 | 1 | |
0 | 1 | 1 | |
1 | 0 | 0 | |
1 | 1 | 1 | |
А | В | ||
0 | 0 | 1 | 1 |
0 | 1 | 1 | 1 |
1 | 0 | 0 | 0 |
1 | 1 | 0 | 1 |
Рекомендуем