Propositional and First Order Logic.

3.2. Propositional logic resolution3.2.1 Construct a KB of propositional logic sentences for the English statements below.The final form of each one should be CNF.Either heads or tails is true.Either heads or tails is false.I win if heads is true.you lose if tails is true.if you lose, I win.If I win, you lose.3.2.2 Show a resolution refutation proof for "IWin" given your KB. Start with the negation of what is to beproved, add statements from your KB and use resolution to derive a contradiction.