Постройте СКНФ функции \(\(¬A ∨ ¬B\) → \(¬A ∨ ¬C\)) ∧ A ∨ 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\)