Para una aplicación práctica, vea puerta lógica.
El símbolo lógico AND se usa en el álgebra de Boole para indicar una conjunción entre dos declaraciones. Una conjunción es verdadera si, pero solo si, ambos componentes son verdaderos. El símbolo más utilizado es un asterisco (*).
El uso más simple del símbolo AND es con una oración que consta de dos declaraciones. Por ejemplo, si A representa el enunciado "Hace frío" y B representa el enunciado "Hace frío", entonces A * B representa el enunciado "Hace frío y llueve".
El símbolo AND se encuentra a menudo dentro de enunciados lógicos complejos junto con otros símbolos. En álgebra de Boole, la negación (también llamada operación NOT) se representa mediante un guión con una 'cola' (¬). La operación lógica OR está representada por un signo más (+). Ciertos hechos relacionados con la negación, la operación OR y la operación AND se han probado en el álgebra de Boole y se conocen como leyes de DeMorgan. De acuerdo con estos teoremas, los siguientes pares de enunciados son lógicamente equivalentes para todo A y para todo B:
¬ (A + B)
(¬A) * (¬B)
¬ (A * B)
(¬A) + (¬B)
Consulte también Símbolos matemáticos.