How can we help?

You can also find more resources in our Help Center.

Negation (~P)

True if 'P' is false, false is 'P' is true

Conjunction (P & Q)

'P & Q' is only true if 'P' and 'Q' are both true

Disjunction (P v Q)

'P v Q' is only false when both 'P' and 'Q' are false

Bi-Conditional (P ↔ Q)

'P ↔ Q' is true only when the truth values of 'P' and 'Q' agree

Conditional (P → Q)

'P → Q' is only false when 'P' is true and 'Q' is false