Mathematik-Online problems: Problem 954: Logical Transcriptions

	[home] [lexicon] [problems] [tests] [courses] [auxiliaries] [notes] [staff]
	Mathematik-Online problems:
	Problem 954: Logical Transcriptions

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

The characters $\diamondsuit,\,\square$ each symbolize one logical operator of the set $\{\land,\lor,\Rightarrow\}$ . In which cases does the following relation hold:

$\displaystyle A\,\diamondsuit\,(B\,\square\, C) \Leftrightarrow (A\,\diamondsuit\,B)\,\square\,(A\,\diamondsuit\,C) \ ?$

(Authors: Wipper/Abele)

see also:

(german)

automatisch erstellt am 8. 3. 2006