Logic

Symbol	Math Word	Meaning	Rule
^	Conjunction	AND	True only when both are true
v	Disjunction	OR	False only when both are false
-->	Conditional	If, Then (implies)	False only when True implies False
<-->	Biconditional	If and Only If, IFF	True if both true or both false

Truth Values: A statement is true or false.
~Negation: "not" changes the truth value of the statement. ex. p is true, ~p is false
Changing conditionals (-->) to other forms

Name	What to Do	If -->then in words	Symbols
Conditional	Given in problem	If p, then q	p-->q
Converse	Change Order	If p, then q	q<--p
Inverse	Negate p & q	If not p, then not q	~p-->~q
Contrapositive	Change Order and Negate	If not q, then not p	~q-->~p

Logically Equivalent: Two compound statements that have the same truth value when compared with each other are logically equivalent. To show logical equivalence using a truth table connect the two statements with the biconditional thus forming a tautology.