Go backward to 2.2.6 Equivalences Go up to 2.2 Propositional Logic

2.2.7 Summary

A	B	F	T	~A	A /\  B	A \/ B	A => B	A <=> B
false	false	false	true	true	false	false	true	true
false	true	false	true	true	false	true	true	false
true	false	false	true	false	false	true	false	false
true	true	false	true	false	true	true	true	true

Furthermore, we have the following relationships between connectives:

A \/ B	iff	~(~A /\  ~B)
A => B	iff	~A \/ B
A <=> B	iff	(A => B) /\  (B => A)

All connectives can therefore be ultimately reduced to negation and conjunction.