Suche
Eine Verknüpfung von Aussagen heißt Tautologie, wenn sie für alle Wahrheitswerte konstant wahr ist.