Wikibooks

Logica matematica/Calcolo delle proposizioni/Esercizi su algebra delle proposizioni: differenze tra le versioni

Naviga nella cronologia in modo interattivo
← Differenza precedenteDifferenza successiva →
Contenuto cancellato Contenuto aggiunto
VisualeWikitesto
Nessun oggetto della modifica
Nessun oggetto della modifica
Riga 52:
Questo modo di operare sta anticipando quello che vedremo nella prossime sezioni: come dimostrare che una proposizione è vera o soddisfacibile per via sintattica e non semantica.
 
L' euristica che ci ha guidato nella trasformazione è stata quella di trasformare la sentenza in una serie di disgiunzioni tra congiunzioni. Questa configurazione prende il nome di forma normale disgiunta.
 
 
Forma normale disguntadisgiunta: <math>\vee_{i}P (= \wedge_{j} A_bigvee_{i,j=0}^n )</math>\left(
\bigwedge_{j=0}^m A_{i,j} \and
\bigwedge_{k=0}^p (\neg B_{i,k})
\right)</math>
 
 
Estratto da "https://it.wikibooks.org/wiki/Logica_matematica/Calcolo_delle_proposizioni/Esercizi_su_algebra_delle_proposizioni"