Autor |
Beitrag |
Martin (Mellek)
| Veröffentlicht am Mittwoch, den 02. Januar, 2002 - 14:27: |
|
Hallo zusammen! Ich habe hier ein aussagenlogischen Ausdruck der auf die disjunktive Form transformiert werden soll(Die disjunktive Form erlaubt Negation nur von Variablen, Variablen und negierte Variablen dürfen mit & (logisches UND) verknüpft werden, die so geformten Ausdrücke dürfen mit v (logisches ODER) verknüpft werden). a Þ (b Þ c) Es wäre toll, wenn die einzelnen Transformationsschritte mit aufgeführt wären, bzw. eine Angabe zu den benutzten aussagenlogischen Gesetzen. Vielen Dank schon im Voraus. MfG Martin |
Zaph (Zaph)
| Veröffentlicht am Donnerstag, den 03. Januar, 2002 - 13:18: |
|
Hi Martin. Es ist (x => y) = (-x v y) Also a => (b => c) = -a v (-b v c) Die Klammern können jetzt weggelassen werden. Das ist alles! |
|