Resolution Calculus
Lagt inn: 01/11-2015 16:55
Jeg har følgende oppgaven og lurer på om det er mulig å bruke sannsynlighetstabellen også? hvis ikke hvordan kommer jeg frem til med oppgaven? tips?
Use the Resolution calculus to show that
(P ⋀ Q) V (P ⋀ ¬Q) V (¬P ⋀ Q) V (¬P ⋀ ¬Q) is unsatisfiable.
Use the Resolution calculus to show that
(P ⋀ Q) V (P ⋀ ¬Q) V (¬P ⋀ Q) V (¬P ⋀ ¬Q) is unsatisfiable.