No toda álgebra de Heyting satisface las dos leyes de De Morgan.