Упростить: СДНФ: -AB-C v A-B-C v AB-C v ABC - отрицание

Запишем выражение так:

\[\overline{A}B\overline{C} \vee A\overline{B}\overline{C} \vee AB\overline{C} \vee ABC\]

Сначала объединим два последних слагаемых:

\[AB\overline{C} \vee ABC = AB(\overline{C} \vee C)=AB\]

Получаем:

\[\overline{A}B\overline{C} \vee A\overline{B}\overline{C} \vee AB\]

Минимальная форма:

\[AB \vee A\overline{C} \vee B\overline{C}\]

Можно записать короче:

\[AB \vee \overline{C}(A \vee B)\]

0 0 Пожаловаться