a$)(12$ pts$)$ Convert the following sentences into CNF and drop the quantifiers.

AAx$[AAyP(x,y)]=>Q(x)$

EEx.$y[A(x,y)=>$AAz$(B(x,z)=>B(y,z))]$

b$)(10$ pts$)$ Given the following knowledge base, derive the conclusion using resolution.

Knowledge Base

$(not{W}^{{?}^{?}}Q)=>Z$

$(W^{{?}^{?}}Z)=>T$

notQ$=>(SvvP)$

$(P^{{?}^{?}}T)=>R$

Conclusion

$SvvR$