CODICI
(r, R) ≡ (non rosso, rosso); (u, U) ≡ (non uccello, uccello); (v, V) ≡ (non vola, vola)
---------------
INSIEME N codificato
rUV aqu aquila
Ruv can cane
ruv cav cavallo
RUV col colibrì
Ruv ele elefante
Ruv gat gatto
ruv gor gorilla
ruv leo leone
RUV pap pappagallo
rUv pin pinguino
ruV pip pipistrello
RUv str struzzo
* N = {aqu, can, cav, col, ele, gat, gor, leo, pap, pin, pip, str}
---------------
SOTTINSIEMI
* A = xUx = {aqu, col, pap, pin, str}
* B = xxV = {aqu, col, pap, pip}
* C = Rxx = {can, col, ele, gat, pap, str}
------------------------------
ESPRESSIONI
---------------
* (A - B) ∩ C =
= ({aqu, col, pap, pin, str} - {aqu, col, pap, pip}) ∩ {can, col, ele, gat, pap, str} =
= {pin, str} ∩ {can, col, ele, gat, pap, str} =
= {str}
che è il risultato atteso
---------------
* (B - C)' ∩ A =
= ({aqu, col, pap, pip} - {can, col, ele, gat, pap, str})' ∩ {aqu, col, pap, pin, str} =
= ({aqu, pip})' ∩ {aqu, col, pap, pin, str} =
= ({aqu, can, cav, col, ele, gat, gor, leo, pap, pin, pip, str} - {aqu, pip}) ∩ {aqu, col, pap, pin, str} =
= {can, cav, col, ele, gat, gor, leo, pap, pin, str} ∩ {aqu, col, pap, pin, str} =
= {col, pap, pin, str}
che raddoppia il risultato atteso
---------------
* (A ∩ C) ∪ (A ∪ B ∪ C)' =
= ({aqu, col, pap, pin, str} ∩ {can, col, ele, gat, pap, str}) ∪ ({aqu, col, pap, pin, str} ∪ {aqu, col, pap, pip} ∪ {can, col, ele, gat, pap, str})' =
= {col, pap, str} ∪ ({aqu, can, col, ele, gat, pap, pin, pip, str})' =
= {col, pap, str} ∪ ({aqu, can, cav, col, ele, gat, gor, leo, pap, pin, pip, str} - {aqu, can, col, ele, gat, pap, pin, pip, str}) =
= {col, pap, str} ∪ {cav, gor, leo} =
= {cav, col, gor, leo, pap, str}
che è il risultato atteso
