Mathematik-Online problems: Problem 953: Logical Transcriptions ans Truth Tables

	[home] [lexicon] [problems] [tests] [courses] [auxiliaries] [notes] [staff]
	Mathematik-Online problems:
	Problem 953: Logical Transcriptions ans Truth Tables

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

Check whether the following expressions are tautologies. Use transcriptions as well as truth tables.

$(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)$

(Authors: Hörner/Lesky/Abele)

automatisch erstellt am 19. 4. 2006