Propositional Logic
Propositional Logic
Propositional Logic
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Selection of possible modelsSimple model checkingB11 B21 P11 P12 P21 P22 P31 R1 R2 R3 R3 R5 KB• How could we turn this into an algorithm?• What is the running time?F F F F F F FF T F F F F TF T F F F T FF T F F F T TNathan SturtevantIntroduction to Artificial IntelligenceHomework: 7.2