Читайте также:
|
Логические выражения, у которых последние столбцы таблиц истинности совпадают, называются равносильными. Для обозначения равносильных логических выражений используется знак «=».
Докажем, что логические выражения 
равносильны.
Построим сначала таблицу истинности логического выражения 
(таблица 9).
Таблица 9 – Таблица истинности логического выражения 
| А | В | 
| 
| 
|
Теперь построим таблицу истинности логического выражения 
(таблица 10).
Таблица 10 – Таблица истинности логического выражения 
| А | В | А v В | 
|
Значения в последних столбцах таблиц истинности совпадают, следовательно, логические выражения равносильны:
= 
.
Дата добавления: 2015-10-13; просмотров: 104 | Нарушение авторских прав
| <== предыдущая страница | | | следующая страница ==> |
| Таблицы истинности | | | Построение таблиц истинности для сложных выражений |