Упростите выражение и результат проверить таблицей истинности. A стрелка вверх (A стрелка вниз B над B палка) стрелка вверх (A следовательно Cстрелка вверх B над B палка)

Упростим выражение.
$aland(alorbar b)land(ato clandbar b)=a(a+bar b)(ato cbar b)=(a+abar b)(bar a+cbar b)= a(1+bar b)(bar a+cbar b)=a(bar a+cbar b)=abar bc=alandbar bland c$
Построим таблицу истинности, показывающую сравнение исходного и конечного выражений, для чего соединим их операцией эквивалентности. Если оба выражения тождественны, итоговая колонка в таблице истинности должна содержать только единицы.
$(aland(alorbar b)land(ato clandbar b))equiv (alandbar bland c)$
Приведенная во вложении таблица истинности подтверждает тождественность выражений, следовательно, упрощение сделано верно.

Оцени ответ

Подпишись на наш канал в телеграм. Там мы даём ещё больше полезной информации для школьников!

Найти другие ответы