[Logica] Foma normale Congiuntiva
salve a tutti!
Ho questa formula P :
(a->(b v c)) -> (not b -> (a- > c))
deve portarla in FNC :
faccio i seguenti passi
0) not(a -> (bvc)) v (not b -> (a -> c))
1) not(not a v (b v c)) v (not not b v (not a v c ))
2) (a & not (b v c)) v (b v (not a v c ))
3) (a & not b & not c) v (b v (not a v c))
ma a questo punto che faccio? dove ottenere una congiunzione di disgunzioni..vero? A sx del or sono congiunzioni e a destra disgiunzioni.Devo applicare la distributiva.?Devo operare letterale per letterale?
grazie mille a chi potrà aiutarmi.
Ho questa formula P :
(a->(b v c)) -> (not b -> (a- > c))
deve portarla in FNC :
faccio i seguenti passi
0) not(a -> (bvc)) v (not b -> (a -> c))
1) not(not a v (b v c)) v (not not b v (not a v c ))
2) (a & not (b v c)) v (b v (not a v c ))
3) (a & not b & not c) v (b v (not a v c))
ma a questo punto che faccio? dove ottenere una congiunzione di disgunzioni..vero? A sx del or sono congiunzioni e a destra disgiunzioni.Devo applicare la distributiva.?Devo operare letterale per letterale?
grazie mille a chi potrà aiutarmi.
Risposte
Per favore usa le formule, è obbligatorio (vedi regolamento). Basta racchiudere il codice fra due simboli del dollaro. Il codice per i simboli logici è
^^ per $ ^^ $
vv per $ vv $
-> per $ -> $
<=> per $ <=> $
not per $ not $
Saluti.
^^ per $ ^^ $
vv per $ vv $
-> per $ -> $
<=> per $ <=> $
not per $ not $
Saluti.
Accedi a tutti gli appunti
Tutor AI: studia meglio e in meno tempo