Застряли на этом? Решите с помощью ИИ
Electrical · real student question

Упростите булево выражение S = A·B·C + A·B·C, где точка — это И (AND), а плюс — ИЛИ (OR).

Question

Упростите булево выражение

S=A⋅B⋅C+A⋅B⋅CS=A\cdot B\cdot C+A\cdot B\cdot C

где ⋅\cdot обозначает И (AND), а ++ — ИЛИ (OR).

Step-by-step solution

  1. Читаем знаки как логику, а не как арифметику. В булевой алгебре ⋅\cdot — это И, а ++ — ИЛИ. Ни одна переменная здесь не инвертирована (черты отрицания нет ни над одной буквой), поэтому оба конъюнктивных члена одинаковы: это один и тот же минтерм A⋅B⋅CA\cdot B\cdot C.

  2. Определяем нужный закон. Для операции ИЛИ закон идемпотентности гласит:

    X+X=XX+X=X

    Он верен потому, что ИЛИ спрашивает «истинно ли хотя бы одно?» — задать тот же вопрос дважды ничего не добавляет. Оба возможных значения это подтверждают: 0+0=00+0=0 и 1+1=11+1=1.

  3. Применяем его при X = A·B·C.

    S=A⋅B⋅C+A⋅B⋅C=A⋅B⋅CS=A\cdot B\cdot C+A\cdot B\cdot C=A\cdot B\cdot C

  4. Сравниваем с обычной алгеброй, где ответ был бы другим. В арифметике x+x=2xx+x=2x. В булевой алгебре двойки просто нет — значений всего два, 00 и 11, причём 1+1=11+1=1, а не 22. Запись 2ABC2ABC здесь лишена смысла.

  5. Проверяем таблицей истинности. Перебирая все восемь наборов (A,B,C)(A,B,C), видим, что выражение A ⁣⋅ ⁣B ⁣⋅ ⁣C+A ⁣⋅ ⁣B ⁣⋅ ⁣CA\!\cdot\!B\!\cdot\!C+A\!\cdot\!B\!\cdot\!C в каждой строке равно A ⁣⋅ ⁣B ⁣⋅ ⁣CA\!\cdot\!B\!\cdot\!C ✓ — выход равен 11 только при A=B=C=1A=B=C=1 и равен 00 в остальных семи строках.

  6. Отмечаем практический смысл. В схеме неупрощённая форма потребовала бы двух одинаковых трёхвходовых элементов И, подключённых к элементу ИЛИ; упрощённая обходится одним элементом И, а элемент ИЛИ не нужен вовсе. Поиск повторяющихся минтермов — первый шаг любого сокращения числа вентилей, и заодно такое дублирование часто выдаёт опечатку в исходном выражении, которую стоит проверить до сборки схемы.

Answer

S=A⋅B⋅CS=A\cdot B\cdot C

Need to solve a different problem like this? Open the solver →