Formas normales y Manipulaciones Algebraicas

1. Eliminar todas las → y ↔.
2. Si la expresión contiene cualquier subexpresión compuesta negada, elimínela.
3. Una vez encontrada una expresión sin ninguna subexpresión compuesta negada, use las dos leyes siguientes para reducir el alcance de V.

a.) Av(B ΛC)= (AvB) Λ (AvC)
b.) (A ΛB)vC= (AvC) Λ (BvC)