I connettivi logici – 3

I connettivi logici applicati a 3 clausole.
Dall’osservazione delle tabelle successive si può dedurre che gli operatori OR, AND, XOR sono associativi.


OR

(p OR q) OR r = p OR (q OR r) = (p OR q OR r)

È vera se almeno una clausola è vera


AND

(p AND q) AND r = p AND (q AND r) = (p AND q AND r)

È vera se tutte le clausole sono vere


XOR

(p XOR q) XOR r = p XOR (q XOR r) = (p XOR q XOR r)

È vera se il numero di clausole vere è dispari



NOR

(p NOR q) NOR<> p NOR (q NOR r)


NAND

(p NAND q) NAND r <> p NAND (q NAND r)


XNOR

(p XNOR q) XNOR r = p XNOR (q XNOR r) = (p XNOR q XNOR r)

È vera se il numero di clausole vere è dispari

Notice: This work is licensed under a BY-NC-SA. Permalink: I connettivi logici – 3

Comments are closed.