Folgende Aufgabestellung bereitet mir Kopfschmerzen.

Gegeben seien die vier aussagenlogischen Formeln T, E1, E2, K. T ist eine Tautologie, E1 und E2 sind erfüllbar, aber keine Tautologien, und K ist eine Kontradiktion. Gib für die untenstehenden Formeln die mölgichen Typen an.

T impliziert (E1 v nichtE2) = e, T

nichtE1 ^ nichtE2 = e, K

Ich verstehe nicht, warum es mehrere mögliche Lösungen gibt, da mit Hilfe einer Wahrheitstafel ja entweder festgestellt werden kann, ob eine Aussage eine Tautologie (alle Wahrheitswerte sind wahr), eine Kontradiktion (alle Wahrheitswerte sind falsch) oder erfüllbar (Mix von wahr und falsch) entsteht.

Schon einmal ein grosses Dankeschön an die Mitdenker.