boolesche algebra, kurze frage ( a ∧ b ) ∨ ( a ⇒ b)

Question

Ist das so richtig? Das c brauche ich für die nächste aufgabe

a	b	c	( a ∧ b ) ∨ ( a ⇒ b )
0	0	0	1
0	0	1	1
0	1	0	1
0	1	1	1
1	0	0	0
1	0	1	0
1	1	0	1
1	1	1	1

Answer 1

stimmt, aber hängt nicht von c ab ???

Comments

Gut, danke.

Ich soll nun diesen Ausdruck in die konjunktive Normalform bringen.

Das ist  meiner Meinung nach:

(  ¬a ∨ b ∨ c ) ∧ (  ¬a ∨ b ∨ ¬c )

oder?

Aber die Lösung soll angeblich ( a ∨ ¬b ∨ c ) ∧ ( ¬a ∨ b ∨ ¬c ) sein.

---

Ich finde deine Lösung richtig und die

Musterlösung falsch.

---

Gut, ich habe mein schwächen mit dem verstehen von Aufgaben. Vielleicht bezieht sich das ja gar nicht auf diesen ( a ∧ b ) ∨ ( a ⇒ b ) Ausdruck. Das oben gepostete ist die 1a) die 1b) lautet : 
Liegt der folgende Ausdruck in konjunktiver Normalform vor? ( a ∨ ¬b ∨ c ) ∧ ( ¬a ∨ b ∨ ¬c ) 
Kann es sein das hier einfach gefragt ist ob das dem Schema eines KNF entspricht?
Sorry das ich dich mit so Kleinigkeiten nerve.

---

Kann es sein das hier einfach gefragt ist ob das dem Schema eines KNF entspricht?

So würde ich das auch verstehen und antworten:  Ja!

Answer 2

Deine Lösung ist korrekt. Allerdings ist die Angabe von c in diesem Fall überflüssig, da es in Deiner aussagenlogischen Formel nicht auftaucht. Es hätten also die Fälle $$(a,b)\in\{(0,0), (0,1), (1,0), (1,1)\}$$ ausgereicht und Du hättest Dir $$2^3-2^2=8-4=4$$ Auswertungen gespart.

André, savest8

Comments

Dank für diese ausführlichen Informationen xD