Question

Какое логическое выражение эквивалентно выражению ¬(A ∨¬B) ∧ ¬C?

1) A ∨ B ∧ C 2) ¬(A ∧B) ∧C 3) ¬(A ∨C) ∨ B 4) ¬(A ∨ C) ∧ B

Answer 1

Ответ:

(см. объяснение)

Объяснение:

Выполним преобразования:

$\overline{A\lor \overline{B}}\land\overline{C}=\overline{A}\land B\land \overline{C}=\left(\overline{A}\land \overline{C}\right)\land B=\overline{A\lor C}\land B$

Тогда ответом будет 4) ¬(A ∨ C) ∧ B.

Задание выполнено!