Tabella della verità: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica
Riga 49:
 
== Operatore logico ''congiunzione'' ==
Prendiamo due variabili proposizionali, <math>A</math> e <math>B</math>, e l'operatore logico ''[[Congiunzione logica|AND]]'' (∧), ottenendo la congiunzionecogniugazione avere logica "A e B" o, più correttamente, <math>A \wedge B</math>.
In parole povere, se sia A che B sono vere, allora la congiunzione <math>A \wedge B</math> è vera; ogni diversa assegnazione di valori di verità rende <math>A \wedge B</math> falsa.
La relazione è così definita: