Propositional logic.

Below is the $KB.$ Prove $KB|==QvvR$ by resolution.

a$.$ Write CNF sentences. If a sentence is already CNF$,$ leave the corresponding line blank.

$PvvQ$

: CNF

$L^{{?}^{?}}M=>P$:$CNF$

$BvvLvvM$:$CNF$

$A^{{?}^{?}}B=>L$:$CNF$

$A$

: CNF

$B$

: CNF

FYI, the CNF sentence for the negation of the conclusion is

$(QvvR)-=7.Q,$ and $8.R$ after applying De Morgan's rule and AND$-$Elimination.

b$.$ Prove $KB*$ Q v R by using ONLY the resolution in $8$ STEPS OR LESS. For example,

you can start by

$AvvBvvL,A$

$BvvL$