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

[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);

[himitsu]

if Ord(A) + Ord(B) + Ord(C) <= 1 then (maximal 1) und if Ord(A) + Ord(B) + Ord(C) = 1 then (immer 1)
geht halt nur, wenn wirklich nur True und False drin stehen.
Einen Cast von Boolean auf Byte und zurück macht Delphi immer nur binär.

Es gibt in Pascal keine Möglichkeit zu steuern ob Binär oder Logisch konvertiert wird. (es gibt immer nur je Eines von Beidem)

if Ord(A <> False) + Ord(B <> False) + Ord(C <> False) = {<=} 1 then

NOT arbeitet bei einem Boolean logisch und nicht binär (glaub ich), also ginge auch
if Ord(not A) + Ord(not B) + Ord(not C) = {>=} 2 {3-1} then

[Valle]

Wie wäre es, wenn man sich dafür eine Hilfsfunktion baut?

Pseudocode:

Code:

def OneIfTrue(mybool):
    return 1 if mybool else 0

def ExactlyOneIsTrue(b1, b2, b3):
    return OneIfTrue(b1) + OneIfTrue(b2) + OneIfTrue(b2) == 1

Fände ich am elegantesten, solange sich ein Array noch nicht lohnt.

[himitsu]

OneIfTrue , bzw. IfThen(b1, 1, 0) sollten aber hoffentlich als Inline-Funktion vorliegen.

[Jasocul]

Wie wäre denn:
b4 := Ord(b1 and True) + Ord(b2 and True) + Ord(b3 and True) = 1;

[Valle]

Zitat von Jasocul:

Wie wäre denn:
b4 := Ord(b1 and True) + Ord(b2 and True) + Ord(b3 and True) = 1;

Hast du das mal ausprobiert? Könnte mir vorstellen, dass es wegoptimiert wird.

[himitsu]

x and True und x or False arbeiten logisch, also ja ...... faaaaaaaaalls der Compiler das nicht "optimiert" und weg lässt.