äquivalente Formulierungen < Sonstiges < Hochschule < Informatik < Vorhilfe
|
Aufgabe | Äqivalenz von boolischen Formeln |
Hallo zusammen!
Meine kurze Frage betrifft aussagenlogische Formeln. Und zwar, warum sind Formeln mit höchstens einem positiven Literal pro Klausel dieselben, bzw. äquivalent zu Formeln mit höchstens einem negativen Literal pro Klausel?
Vielen Dank im Voraus!
|
|
|
|
Status: |
(Mitteilung) Reaktion unnötig | Datum: | 01:20 Di 20.01.2009 | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|