(1) En una sentencia lógica, operador que relaciona dos o más enunciados y por el cual la sentencia es verdadera si todos los enunciados son verdaderos.
La tabla de verdad del operador y es:

Ver *conjunción*, *álgebra de Boole*, *conectiva*, *puerta* y *tabla de verdad*.
(2) Operador booleano que, cuando relaciona dos términos de una búsqueda, provoca la devolución de los casos que satisfacen ambos términos.
Si, por ejemplo, la petición de búsqueda es "A y B", se obtendrán los casos que contengan ambos términos A y B, y no se obtendrán los casos que sólo contengan A o sólo contengan B.
Compárese con *no*, *o exclusivo* y *o inclusivo*. Ver *álgebra de Boole*.