Resolution Calculus

Her kan du stille spørsmål vedrørende problemer og oppgaver i matematikk på høyskolenivå. Alle som har kunnskapen er velkommen med et svar. Men, ikke forvent at admin i matematikk.net er spesielt aktive her.

Moderatorer: Vektormannen, espen180, Aleks855, Solar Plexsus, Gustav, Nebuchadnezzar, Janhaa

Svar
per56

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.
Svar