So You Think You're Good At Logic?
Let's Find Out.

Before taking this quiz you should be familar with logical equivalences, truth tables, and the conditional operator.

The syntax is that of most programming languages.

!(p && q) = !p || !q

!(p || q) = !p && !q

p || (p && q) = p

p && (p || q) = p

p || q = q || p

p && q = q && p

(p || q) || r = p || (q || r)

(p && q) && r = p && (q && r)

p || (q && r) = (p || q) && (p || r)

p && (q || r) = (p && q) || (p && r)

p || p = p

p && p = p

!(!p) = p

p || true = true

p && false = false

p && true = p

p || false = p

p || !p = true

p && !p = false

So You Think You're Good At Logic?Let's Find Out.