Atomare Tautologie/Zeichenkettengleichheit/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein atomarer Ausdruck, der zugleich eine Tautologie ist, also . Zeige, dass gleich mit einem -Term

ist.
Eine Lösung erstellen