Na álgebra booleana, um conceito diz que o complemento de duas ou mais variáveis submetidas a uma operação AND é equivalente a uma operação OR entre os complementos das variáveis individuais é representado pela fórmula e nome respectivamente,