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