Logischer Ausdruck - Vereinfachung möglich?

[TiGü]

Hallo,

beim Warten/Korrigieren von alten Code von Kollegen begegnen mir öfters solche Sachen:

If (A == False) or ((A == True) and B) then

A sind in der Regel abgefragte boolsche Flags, B entweder auch oder Vergleiche.

Da durch hier erworbendes Wissen der Vergleich auf True/False eh erstmal des Teufels Küche ist sieht das Ganze nach Korrektur so aus:

If not A or (A and B) then

Aber irgendwie sieht das immer noch skurril aus.
Kann man das nicht noch so umstellen, das man auf den ersten Blick sieht was gemeint ist?
Entweder sehe ich den Wald vor lauter Bäumen nicht, oder gehts einfach nicht anderes?

Hier die Wahrheitstabelle:

Code:

A B Erg
0 0  1
0 1  1
1 0  0
1 1  1

[DeddyH]

if not a or b then müsste passen.

[haentschman]

Hallo...

ist doch ok... If not A or (A and B) then Zur Sicherheit würde ich aber noch "not A" klammern...If (not A) or (A and B) then ;

@Detlef: not A und A and B sind doch völlig unterschiedliche Logiken...die kann man doch nicht zusammenwürfeln.

[Uwe Raabe]

Zitat von haentschman:

@Detlef: not A und A and B sind doch völlig unterschiedliche Logiken...die kann man doch nicht zusammenwürfeln.

Kann man doch! Entweder schlägt not A = true zu oder wenn nicht, ist not A offensichtlich false , daraus folgt aber A = true . Also brauche ich im zweiten Teil des or das nicht mehr abfragen.

[DeddyH]

Eben, A kann ja nicht gleichzeitig true und false sein

[haentschman]

ok... einverstanden. Dafür leidet aber imho die Lesbarkeit um schnell die Logik des Ausdruckes zu erfassen.

[Uwe Raabe]

Zitat von haentschman:

ok... einverstanden. Dafür leidet aber imho die Lesbarkeit um schnell die Logik des Ausdruckes zu erfassen.

Das sehe ich jetzt aber nicht so. Wenn man die Tabelle entsprechend liest, ist das sehr leicht einsehbar:

A B Erg
0 0 1
0 1 1
1 0 0
1 1 1

A B Erg
0 0 1
0 1 1
1 0 0
1 1 1

Daraus kann man auch direkt

A B Erg
0 0 1
0 1 1
1 0 0
1 1 1

eine andere Lösung ablesen: not (A and not B) , was nach den bekannten Regeln in not A or B umgeformt werden kann.

[TiGü]

Vielen Dank, ich stand also doch auf den Schlauch!

[Sailor]

Das läßt sich am besten mit den Gesetzen der Aussagenlogik abhandeln (assosiative/kommutative/distributive/Morgansche Gesetze), hier also


NOT(a) OR (a AND b) -> (NOT(a) OR a) AND (NOT(a) OR b) -> NOT(a) OR b

Am besten, Du gurgelst mal unter "Klassische Aussagenlogik"

[shmia]

Man kann diese logischen Ausdrücke auch online vereinfachen lassen:
http://www.elektroniker-bu.de/boolesche.htm

Also ich würd' mir da gleich einen Bookmark setzen...