The exercises are organised into the classes they come from. Click on one and you will be taken to the tool page with the formulae entered.
a. (p∧¬q)∨(p∧¬r) ≡ p∧¬(q∧r)
b. p⇒q ≡ ¬q⇒¬p
c. (p⇒q)⇒r ≡ p⇒(q⇒r)
d. (p∧q)⇒r ≡ p⇒(q⇒r)
e. false∨p ≡ p
f. p∧(¬p∨q) ≡ p∧q
g. true ≡ true∨p