Aussagenlogik - möglichst einfache DNF

Question

ich stehe gerade etwas auf dem Schlauch, ich hoffe ihr könnt mir helfen. Gegeben ist folgende Aussage:

(¬A ∧ ¬B ∧ C) ∨ (¬A ∧ B ∧ ¬C) ∨ (A ∧ ¬B ∧ ¬C) ∨ (A ∧ B ∧ C)

Ich brauche hier die möglichst einfache DNF.

.

Gruß

Comments

Das kannst du übrigens hier eingeben:

https://www.wolframalpha.com/input/?i=(%C2%ACA+AND+%C2%ACB+AND+C)+OR+(%C2%ACA+AND+B+AND+%C2%ACC)+OR+(A+AND+%C2%ACB+AND+%C2%ACC)+OR+(A+AND+B+AND+C) 

Mach das schrittweise, wenn du Teilumformungen brauchst.

DNF: https://de.wikipedia.org/wiki/Disjunktive_Normalform

Answer 1

	A	¬A	¬A	A
B	1	0	1	0
¬B	0	1	0	1
	C	C	¬C	¬C

Es lassen  sich keine Gruppen im KV Diagramm bilden, noch lässt sich in der Formel etwas ausklammern. Die Formel ist also bereits minimal (und offensichtlich disjunktiv).