Ich habe hier folgende Aussagen:
(1) (a ⇒ ¬b) ∧ (¬a ⇒ c)
(2) (a ∨ b ∨ c) ∧ (¬a ∨ b ∨ ¬c) ∧ (¬a ∨ b ∨ c) ∧ (¬a ∨ ¬b ∨ c) ∧ (¬a ∨ ¬b ∨ ¬c)
(1) habe ich bereits in seine disjunktive Normalform mithilfe der Implikationsregel, De Morgan sowie Distributivgesetz bestimmen können, welches (¬b∧a) v (¬a∧c) v (¬b∧c) ergibt.
Nur wundere ich mich bei (2) jetzt nun, wie ich es in die disjunktive Normalform wandeln soll. Es schriftlich darzustellen würde bei solch einer Aussage mithilfe des Distributivgesetzes doch viel zu groß ausfallen.. Gibt es auch eine andere Möglichkeit, dies zu tun?