Clausole di Horn - Esercizi STEM

Una particolare classe di clausole sono le cosiddette clausole di Horn.

Si definire clausola di Horn una clausola che contiene al più un literal positivo (cioè non negato).

\tag{$\spades$}x_k\vee\left(\bigvee_j \neg x_j\right)

A parole: soltanto il literal $x_k$ è positivo, mentre gli altri sono un insieme di OR di variabili negate $\neg x_j$ .

Partendo dall’espressione $(\spades)$ possiamo ottenere il valore di $x_k$ tramite

\left(\bigwedge_j x_j\right)\Rightarrow x_k

Se hai trovato errori o informazioni mancanti scrivi a:
giacomo.dandria@esercizistem.com

Questa pagina è stata utile?

SìNo