|
3. Равносильные логические выражения
Логические выражения, у которых последние столбцы истинности совпадают, называются равносильными.
Для обозначения равносильности логических выражений используется знак “=”.
Пример 2. Доказать: 
Таблица истинности
F= |
|
Таблица истинности
G= |
A |
B |
|
|
|
A |
B |
G1=AUB |
G= |
0 |
0 |
1 |
1 |
1 |
0 |
0 |
0 |
1 |
0 |
1 |
1 |
0 |
0 |
0 |
1 |
1 |
0 |
1 |
0 |
0 |
1 |
0 |
1 |
0 |
1 |
0 |
1 |
1 |
0 |
0 |
0 |
1 |
1 |
1 |
0 |
Из сравнения последних столбцов в таблицах истинности следует, что F=G, т.е.
 .
| 