In propositional logic, we use a special symbol () for the "if and only if" relationship between components. As the example makes clear, a statement of the form, p q, which is called a biconditional, is equivalent to the conjunction (pq) (qp). The truth table for the biconditional is:

	p	q	p q
	T	T	T
Biconditional	F	T	F
	T	F	F
	F	F	T

As a result, a biconditional statement is true if p and q have the same truth value, and false if they have different truth values.