Aussagenlogik/Semantische Äquivalenz als Äquivalenzrelation/Repräsentanten/Aufgabe
Es sei die in Aufgabe diskutierte Äquivalenzrelation auf . Zeige, dass jede Äquivalenzklasse einen Repräsentanten in disjunktiver Normalform besitzt.
Es sei die in
Aufgabe
diskutierte Äquivalenzrelation auf
. Zeige, dass jede
Äquivalenzklasse
einen Repräsentanten in
disjunktiver Normalform
besitzt.