Eine Lampe, Zwei Lichtschalter = XOR ??

[Christoph]

Moin.

Es geht aber nicht um die Elektrik der Schalter sondern um die theoretische Wiedergabe des Problems in Aussagenlogik.
[...]
Hat noch jemand anderes eine Meinung zu dem Thema?

Ich würde dir zustimmen auf Grund folgender Überlegung (S1, S1 bezeichnen die Schalter):

Die Lampe sei aus, d.h. xor(S1,S2)=0. Dann ist (S1,S2)=(0,0) oder (S1,S2)=(1,1). Wird nun einer der Schalter betätigt, ist (S1,S2)=(1,0) oder (S1,S2)=(0,1) und damit xor(S1,S2)=1, d.h. die Lampe geht an.

Die Lampe sei an, d.h. xor(S1,S2)=1, also (S1,S2)=(1,0) oder (S1,S2)=(0,1). Wird nun einer der Schalter betätigt, ist (S1,S2)=(1,1) oder (S1,S2)=(0,0). In beiden Fällen gilt xor(S1,S2)=0, d.h. die Lampe geht aus.

Christoph