Exercises

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.

Class 2

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