Llamaremos dual de una proposición que contiene sólo los conectivos lógicos not ,and or a la proposición resultante de sustituir and por or, or por and y 1 por 0.