Aussagenlogik/Semantische Äquivalenz als Äquivalenzrelation/Repräsentanten/Aufgabe

Aus Wikiversity

Es sei die in Aufgabe diskutierte Äquivalenzrelation auf . Zeige, dass jede Äquivalenzklasse einen Repräsentanten in disjunktiver Normalform

besitzt.