Выражение и результат проверить таблицей истинности. a стрелка вверх (a стрелка вниз b над b палка) стрелка вверх (a следовательно cстрелка вверх b над b палка)

muzycuk muzycuk    3   25.06.2019 18:00    2

Ответы
Pawelikot Pawelikot  20.07.2020 19:46
Упростим выражение.
a\land(a\lor\bar b)\land(a\to c\land\bar b)=a(a+\bar b)(a\to c\bar b)=(a+a\bar b)(\bar a+c\bar b)= \\ a(1+\bar b)(\bar a+c\bar b)=a(\bar a+c\bar b)=a\bar bc=a\land\bar b\land c
Построим таблицу истинности, показывающую сравнение исходного и конечного выражений, для чего соединим их операцией эквивалентности. Если оба выражения тождественны, итоговая колонка в таблице истинности должна содержать только единицы.
(a\land(a\lor\bar b)\land(a\to c\land\bar b))\equiv (a\land\bar b\land c)
Приведенная во вложении таблица истинности подтверждает тождественность выражений, следовательно, упрощение сделано верно.

Выражение и результат проверить таблицей истинности. a стрелка вверх (a стрелка вниз b над b палка)
ПОКАЗАТЬ ОТВЕТЫ
Другие вопросы по теме Информатика