aussagenl.Formel in Hornformel < Diskrete Mathematik < Hochschule < Mathe < Vorhilfe
|
| Aufgabe | | [Dateianhang nicht öffentlich] |
Hallo!
Hat vielleicht jemand eine Idee wie ich die Formel Substituieren kann? Meine Meinung nach ist die Formel schon eine KNF. Dadurch ich bei der Hornformel überall maximal 1 positives Literal haben darf, ist das keine Hornformel. Somit müsste ich den 2. und den 4. Ausdruck substituieren.
Danke schon im Voraus für eure Hilfe.
greets geli
# Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
Dateianhänge:
Anhang Nr. 1 (Typ: jpg) [nicht öffentlich]
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 13:20 Di 01.04.2008 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
