Se pueden demostrar, bien algebraicamente mediante los postulados, o bien mediante una tabla de verdad.