Mathematik-Online-Aufgabensammlung: Aufgabe 953: Logische Umformungen und Wahrheitswerttabelle

	[Home] [Lexikon] [Aufgaben] [Tests] [Kurse] [Begleitmaterial] [Hinweise] [Mitwirkende] [Publikationen]
	Mathematik-Online-Aufgabensammlung:
	Aufgabe 953: Logische Umformungen und Wahrheitswerttabelle

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Überprüfen Sie sowohl durch Umformung, als auch mit Hilfe einer Wahrheitswerttabelle, ob die Ausdrücke

$(A \lor B) \Rightarrow \big((\lnot A \lor B) \land (A \Rightarrow \lnot A)\big)$
$\big(A \Rightarrow( B \Rightarrow C)\big) \Leftrightarrow \big(( A \land B) \Rightarrow C\big)$

Tautologien sind.

(Autoren: Hörner/Lesky)

automatisch erstellt am 19. 4. 2006