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

[Union]

Ich würde auch ein Bool Array vorziehen:

Delphi-Quellcode:

function IsNumberOfValuesSet(const AValues : array of Boolean; AMax : Integer = 1) : Boolean;
var
  LCount : Integer;
begin
  LCount := 0;
  for Result in AValues do
    if Result then
    begin
      Inc(LCount);
      if LCount > AMax then
        Break;
    end;
  Result := LCount = AMax;
end;

begin
  Writeln(IsNumberOfValuesSet([False]));
  Writeln(IsNumberOfValuesSet([False, True]));
  Writeln(IsNumberOfValuesSet([False, True, False]));
  Writeln(IsNumberOfValuesSet([False, True, False, True]));
  Writeln(IsNumberOfValuesSet([False, True, False, True], 2));
  Readln;
end.

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

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