Elegante Lösung gesucht, 3 Boolean-Werte, nur einer darf gesetzt sein

[SProske]

Zitat von TiGü:

bOK := B1 xor B2 xor B3;

Ergibt für 3mal True wieder True

Zitat von p80286:

Delphi-Quellcode:

w:=0;
if B1 then inc(w,1);
if B2 then inc(w,1);
if B3 then inc(w,1);
bok:=W=1;

Gruß
K-H

Könnte man auch schreiben als

bOK := IfThen(B1, 1, 0) + IfThen(B2, 1, 0) + IfThen(B3, 1, 0) = 1;

[HeZa]

Für den Datentype Boolean (WordBool ausgenommen) funktioniert folgendes:
bOk := Ord(b1) +Ord(b2) +Ord(b3) = 1 Ich ergänze:
Wenn man so etwas wie b1 := Boolean(11); macht wird es auch hässlich.

[Sir Rufo]

Zitat von HeZa:

Für den Datentype Boolean (WordBool ausgenommen) funktioniert folgendes:
bOk := Ord(b1) +Ord(b2) +Ord(b3) = 1 Ich ergänze:
Wenn man so etwas wie b1 := Boolean(11); macht wird es auch hässlich.

Korrekter wäre die Form bOk := Ord( b1 ) + Ord( b2 ) + Ord( b3 ) = Ord( true );

[himitsu]

B1=True Wobei man das ja eigentlich nicht macht.

Die mathematischen Lösungen mit Ord gehen natürlich nur unter der Annahme, daß man davon ausgeht, daß nur True oder False drin steht.

Wobei True = not False, bzw. True <> "True".
Der Delphi-Boolean kennt ja 254 "True" und ein False, deswegen auch niemals B1=True

[EricMeyer]

oder sowas

function CountTrues (ABoolean :array of Boolean):Integer
for i ...
result := result + ((-1)*strtoint(booltostr(ABoolean [i])))

[Delphi-Laie]

Zitat von himitsu:

B1=True Der Delphi-Boolean kennt ja 254 "True" und ein False, deswegen auch niemals B1=True

Fangen die modernen Delphi-Compiler (so ab Version XEx) diese Programmierschludrigkeit nicht endlich ab? Genaugenommen ist das ja kein Fehler, denn rein von der booleschen Logik ist true=true.

Und das "=true" passiert vermutlich auch so manchem gestandenen Programmierer dann und wann, das ist einfach mental zu aufdringlich. Dito: "=false" anstatt "if not"....

[himitsu]

Nein, das darf nicht abgefangen werden.

Es kommt auf die "Auswertung an, also ob man es logisch oder binär vergleich ... = ist in Pascal immer "binär".

Nur bei der Typkonvertierung zwischen Boolean/ByteBool/WordBool/LongBool/Variant wird der logische Wert konvertiert.

[TiGü]

Um das nochmal aufzugreifen:
(~a*~b*c)+(~a*b*~c)+(a*~b*~c) in http://www.elektroniker-bu.de/kvdiagramm.htm reingehauen und sehen, dass die DNF nicht vereinfacht werden kann.
Kannst auch die KNF nehmen ((a+b+c) * (~b+~c) * (~a+~c) * (~a+~b)), aber das bringt dich ja auch nicht wirklich weiter.

Also:
B1 := (not B1 and not B2 and B3) or
(not B1 and B2 and not B3) or
(B1 and not B2 and not B3);

[TiGü]

Zitat von SProske:

Zitat von TiGü:

bOK := B1 xor B2 xor B3;

Ergibt für 3mal True wieder True

Das kann man ja mit einer einfachen if-Abfrage vorher prüfen.

[BenjaminH]

Zitat von TiGü:

Das kann man ja mit einer einfachen if-Abfrage vorher prüfen.

oder
bOK := (B1 xor B2 xor B3) and not (B1 and B2 and B3);