Resolution < Aussagenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 19:35 Mo 28.01.2013 | | Autor: | starki |
| Aufgabe | 1) Für jede Formeln in konjunktiver Normalform ist die Mengendarstellung eindeutig.
2) Die Umkehrung gilt nicht: verschiedene konjunktive Normalformen können diesselbe Mengendarstellung haben. |
Diese zwei Sätze habe ich gerade aus einer PDF gelesen, wo es um Resolution geht. Nun frage ich mich aber, wie können zwei verschiedene konjunktive Normalformen diesselbe Mengendarstellung für die Resolution haben? Könnt ihr mir da vielleicht ein Beispiel geben?
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 20:20 Mi 30.01.2013 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
