logica dual dentista

No portava dentadura

encara que ( li faltava alguna dent y les dents no li podíen creisher fins a tamany normal ).

No tenía un blanquejador de dents

encara que ( tenía càries a les dents y es veia la càries quant reia ).

Portava dentadura

perque potser ( li faltava alguna dent y les dents no li podíen creisher fins a tamany normal ).

Tenía un blanquejador de dents

perque potser ( tenía càries a les dents y es veia la càries quant reia ).

no p(x) encara que ( s(x) y r(x) ) <==> ...

... ( ¬p(x) & ( s(x) & r(x) ) ) & ( s(x) & r(x) )

p(x) perque potser ( s(x) y r(x) ) <==> ...

... ( p(x) <== ( s(x) & r(x) ) ) || ( ¬s(x) || ¬r(x) )