Simbolo AND logico

Per un'applicazione pratica, vedere porta logica.

Il simbolo logico AND viene utilizzato nell'algebra booleana per indicare una congiunzione tra due istruzioni. Una congiunzione è vera se, ma solo se, entrambe le sue componenti sono vere. Il simbolo più comunemente usato è un asterisco (*).

L'uso più semplice del simbolo AND è con una frase composta da due affermazioni. Ad esempio, se A rappresenta l'affermazione "Fa freddo" e B rappresenta l'affermazione "È piovoso", A * B rappresenta l'affermazione "Fa freddo e piove".

Il simbolo AND si trova spesso all'interno di istruzioni logiche complesse insieme ad altri simboli. Nell'algebra booleana, la negazione (chiamata anche operazione NOT) è rappresentata da un trattino con una "coda" (¬). L'operazione OR logico è rappresentata da un segno più (+). Alcuni fatti riguardanti la negazione, l'operazione OR e l'operazione AND sono stati dimostrati in algebra booleana e sono noti come leggi di DeMorgan. Secondo questi teoremi, le seguenti coppie di affermazioni sono logicamente equivalenti per tutti A e per tutti B:

¬ (A + B)
(¬A) * (¬B)

¬ (A * B)
(¬A) + (¬B)

Vedi anche simboli matematici.