Aussagenlogik: Aussage: Wenn a dann ist b egal. Folgendermassen umschreiben a Λ (b ∨ ¬b) ?

Question

Folgende Aussage gilt es zu übersetzen:

Wenn a erfüllt ist, dann ist egal ob Aussage b erfüllt ist oder nicht.

Wir kennen nur diese 4 Symbole : ∧, ∨,→,⇔

Ich habe es so übersetzt: a Λ (b ∨ ¬b)

ist das korrekt?

Answer 1

a ∧ (b ∨ ¬b)

Wenn du das so hast, kannst du das noch vereinfachen.

 Nämlich zu:

a ∧ 1 und das zu a

So würde ich es vereinfachen´und deinem ersten Vorschlag auch zustimmen.

Gruß

Smitty