What is a proposition?
Binary variable that takes either true or false as a value.
Usually expressed as a statement in a language like english.
What is a dual?
Where one can produce an equivalence by replacing every or with an and, and every and with an or
What is a tautology?
A proposition that is always true
What is a contradiction?
A proposition that is always false