I connettivi logici – Tutti

Abbreviazioni per i valori logici:

  • 0=Falso
  • 1=Vero

OR

Vero se almeno una è vera

AND

Vero se entrambe sono vere

XOR

p XOR q = (p AND NOT q) OR (NOT p AND q)
OR esclusivo, vero se solo una è vera

NOR

Nego il risultato di OR
p NOR q = NOT (p OR q)
Vero se entrambe false

NAND

Nego il risultato di AND
p NAND q = NOT (p AND q)
Vero se almeno una è falsa

XNOR

Nego il risultato di XOR
p XNOR q = NOT (p XOR q)
Vero se entrambe vere o entrambe false

IMPLICAZIONE

Se p è vera allora q è vera

COIMPLICAZIONE

p e q sono equivalenti



Tutte…


Gli ambienti di sviluppo utilizzano nomi e simboli diversi

Falso Vero Negazione Disgiunzione
inclusiva
Congiunzione Disgiunzione
esclusiva
Logica ¬ image
BASIC False True Not Or And Xor
C… ! || &&
Calc
Excel
FALSO VERO NON() O() E() XOR()
MySQL NOT OR AND XOR
Pascal FALSE TRUE Not Or And Xor
PHP false true ! ||
or
&&
and
xor
Python “False” “True” not or and
Small Basic “False” “True” Or And