Pisemka Gregor 1.12.2011
Napsal: 3. 12. 2011 12:04
Vse brano ve vyrokove logice...
1) Mejme konecne prvovyroku. Pro zvolene jak nalezt formuli v CNF (oduvodnete dalsi vami pouzite pojmy a znaceni)?
2) Dokazte syntakticky (hint: pouzijte k tomu Vetu o dedukci). (Na logicky axiom (PL1) aplikuji vetu o dedukci).
3) Ekvivalentnimi upravami najdete (a zduvodnete pritom svuj postup) CNF a DNF vyroku .
(DNF:
CNF: )
1) Mejme konecne prvovyroku. Pro zvolene jak nalezt formuli v CNF (oduvodnete dalsi vami pouzite pojmy a znaceni)?
2) Dokazte syntakticky (hint: pouzijte k tomu Vetu o dedukci). (Na logicky axiom (PL1) aplikuji vetu o dedukci).
3) Ekvivalentnimi upravami najdete (a zduvodnete pritom svuj postup) CNF a DNF vyroku .
(DNF:
CNF: )