This flashcard is just one of a free flashcard set. See all flashcards!

Wie kann bewiesen werden, ob eine logische Formel eine Tautologie / Kontradiktion ist?