Seja p "Ela é alta" e seja q "Ela é charmosa". Se escrevermos a proposição: "Não é verdade que ela é baixa ou não é charmosa" na forma simbólica, usando p e q, teremos