Differenze tra le versioni di "Congiunzione logica"

nessun oggetto della modifica
(→‎Voci correlate: Bot: +controllo di autorità)
| '''F''' || '''F''' || '''F'''
|}
 
L'operatore di AND è alla base della possibilità di formalizzazione matematica di un qualsiasi problema logico: 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. 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>
\left\{
\begin{matrix}
x + y = 24 \cdots 1° condizione \\
x - y = 16 \cdots 2° condizione \\
\end{matrix}
\right.</math><br/<
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