seltsames Phänomen in der Auswertung boolscher Variablen

[marduk]

Hey Leute,

ich bin hier auf ein seltsames Phänomen in der Auswertung von boolschen Variablen gestoßen und hoffe dass mir das einer erklären kann.

Der Ausdruck, der ausgewertet werden soll, ist :

(false | false ) & false == (false & false) | (false & false )

Für mich sollte dieser Ausdruck zu true ausgewertet werden. Allerdings sagt mir mein kleines Java-Prog das Gegenteil.

Hier einmal das Programm zum Testen

public class test {
	
	public static void main(String[] args) {

		if((false | false ) & false == (false & false) | (false & false )) {
			System.out.println("richtig");
		}
		else {
			System.out.println("falsch");
		}
		
	}
}

Weiss jemand woran das liegen könnte??

Thx
marduk

 

[Marsman]

...ich hab den AUsdruck jetzt nicht genau überprüft. Aber ich vermute, es liegt daran, dass Du nicht die logischen Verknüpfungen (&& und ||), sondern die bitlogischen Operatoren verwendest. Dabei representiert false einen internen Wert und dieser wird mit den logischen Operatoren zu zwei Ergebnissen berechnet, die offenbar ungleich sind.

Siehe zum Beispiel hier:

www.galileocomputing.de/openbook/javainsel6/javainsel_02_004.htm#mj37116f0cf6b96cd4f1c35ee2363142ff


Titus

 

[marduk]

Hallo Titus,

ja, sowas habe ich mir auch schon gedacht, allerdings macht es in diesem Fall keinen Unterschied. Denn wenn ich alle Kurzschluss- durch Nicht-Kurzschlussoperatoren tauche, bleibt die Auswertung im Java-Prog false.....

Still wondering...
marduk

 

[maki]

Klammern richtig setzen, der Auswertungsreihenfolge wegen.

http://www.uni-bonn.de/~manfear/javaoperators.php

 

[Der Müde Joe]

bin nicht sicher, aber

(false | false ) & ( false == (false & false) | (false & false ) )

vs.

( (false | false ) & false ) == (false & false) | (false & false )

könnte sein das == vor & ausgewertet wird.

denn im 2. Fall ists richtig

 

[Marco13]

Ja, == hat höhere Priorität als die anderen Operatoren.
http://www.uni-bonn.de/~manfear/javaoperators.php

EDIT: Mann, bevor man antwortet sollte man nochmal Reload drücken :roll:

 

[marduk]

danke schonmal für die Antworten....

Wäre dann also der erste Ausdruck (false | false ) & false == (false & false) | (false & false ) tatsächlich falsch??

THX
marduk

 

[Marco13]

Er wird als
(false | false ) & (false == (false & false)) | (false & false )
interpretiert, und ist demnach false...