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!!!
