Differenze tra le versioni di "Congiunzione logica"

Jump to navigation Jump to search
nessun oggetto della modifica
(Annullata la modifica 84000980 di 89.202.231.191 (discussione))
| '''F''' || '''F''' || '''F'''
|}
 
L'operatore di AND è alla base della possibilità di formalizzazione matematica di molti problemi logici: il problema viene tradotto in un [[sistema di equazioni lineari]], in cui appunto si presentano un insieme di equazioni (condizioni) che devono tutte essere soddisfatte (vere) contemporaneamente. <br/>
Ad esempio, il problema: <<trovare i due numeri la cui somma è 24 e (= AND) la differenza è 6>>,<br/>
 
si traduce nel sistema lineare:<br/>
:<math>\begin{cases} x + y = 24 \cdots 1° condizione\\
x - y = 16 \cdots 2° condizione\end{cases}</math>
 
L'operatore di AND equivale alla parentesi graffa del sistema lineare, che richiede di nuovo che tutte le due condizioni siano soddisfatte (vere) contemporaneamente.
 
==Proprietà==
*[[Proprietà di idempotenza]]: <math> p \wedge p = p </math>
Utente anonimo

Menu di navigazione