Задание
Постройте СДНФ функции ¬\(A ≡ ¬A ∧ B\) ∧ A ∨ ¬B ∧ C
- \(¬A∧¬B∧C\) ∨ \(A∧¬B∧¬C\) ∨ \(A∧¬B∧C\) ∨ \(A∧B∧¬C\) ∨ \(A∧B∧C\)
- \(A∨B∨C\) ∧ \(A∨¬B∨C\) ∧ \(A∨¬B∨¬C\)
- \(A∨B∨C\) ∧ \(A∨¬B∨C\) ∧ \(¬A∨¬B∨¬C\)
- \(¬A∧¬B∧C\) ∨ \(A∧¬B∧¬C\) ∨ \(A∧¬B∧C\)