Hornformel

11.12.2006, 09:12	thomes	Auf diesen Beitrag antworten »
Hornformel Hallo, die folgende Formel soll in eine Hornformel der Form: $\begin{eqnarray} ((A_1 \wedge .. \wedge A_n) \rightarrow B_1) \wedge .. \wedge ...) \end{eqnarray}$ umgewandelt und dann mit dem Markierungsalgorithmus auf erfüllbarkeit getestet werden. Hier die Formel: $\begin{eqnarray} ((A \rightarrow \neg D) \wedge ( \neg D \rightarrow \neg B) \wedge B \wedge \neg A) \end{eqnarray}$ Wie würde man jetzt anfangen?
11.12.2006, 12:55	irre.flexiv	Auf diesen Beitrag antworten »
z.B. mit $\begin{eqnarray} (A \rightarrow \neg D) \equiv (\neg A \vee \neg D) \equiv (\neg A \vee \neg D \vee 0) \equiv (A \wedge D \rightarrow 0) \end{eqnarray}$
11.12.2006, 15:48	thomes	Auf diesen Beitrag antworten »
$\begin{eqnarray} (\neg A \vee \neg D \vee 0) \equiv (A \wedge D \rightarrow 0) \end{eqnarray}$ und wo kommt die 0 her?
11.12.2006, 16:02	Mazze	Auf diesen Beitrag antworten »
Wenn 0 für false und 1 für True steht dann ist für eine Formel $\begin{eqnarray} \phi \end{eqnarray}$ $\begin{eqnarray} \phi \equiv \phi \vee 0~ oder ~ \phi \equiv \phi \wedge 1 \end{eqnarray}$
12.12.2006, 21:50	thomes	Auf diesen Beitrag antworten »
$\begin{eqnarray} ((A \wedge D) \rightarrow 0 ) \wedge (B \rightarrow D) \wedge (1 \rightarrow B) \wedge (A \rightarrow 0) \end{eqnarray}$ so?

1

Verwandte Themen