Hallo!!!
Aufgabe:
Stellen Sie eine Wahrheitstafel für die folgende Aussage auf:
(¬(A∧(¬B)))—>A
Problem/Ansatz:
Kann ich diesen Ausdruck in ¬AvB—>A kürzen ?
Ich habe dafür jetzt das hier raus:
¬A
| B | ¬AvB
| A | ¬AvB—>A
|
f | w | w | w | w |
f | f | f | w | w |
w | w | w | f | f |
w | f | w | f | f |
Ist das so richtig?
Ich danke euch!!!