Упростите булево выражение
где обозначает И (AND), а — ИЛИ (OR).
Читаем знаки как логику, а не как арифметику. В булевой алгебре — это И, а — ИЛИ. Ни одна переменная здесь не инвертирована (черты отрицания нет ни над одной буквой), поэтому оба конъюнктивных члена одинаковы: это один и тот же минтерм .
Определяем нужный закон. Для операции ИЛИ закон идемпотентности гласит:
Он верен потому, что ИЛИ спрашивает «истинно ли хотя бы одно?» — задать тот же вопрос дважды ничего не добавляет. Оба возможных значения это подтверждают: и .
Применяем его при X = A·B·C.
Сравниваем с обычной алгеброй, где ответ был бы другим. В арифметике . В булевой алгебре двойки просто нет — значений всего два, и , причём , а не . Запись здесь лишена смысла.
Проверяем таблицей истинности. Перебирая все восемь наборов , видим, что выражение в каждой строке равно ✓ — выход равен только при и равен в остальных семи строках.
Отмечаем практический смысл. В схеме неупрощённая форма потребовала бы двух одинаковых трёхвходовых элементов И, подключённых к элементу ИЛИ; упрощённая обходится одним элементом И, а элемент ИЛИ не нужен вовсе. Поиск повторяющихся минтермов — первый шаг любого сокращения числа вентилей, и заодно такое дублирование часто выдаёт опечатку в исходном выражении, которую стоит проверить до сборки схемы.
Need to solve a different problem like this? Open the solver →