A conjunção é uma operação na lógica matemática, que pode ser ligada à operação de interseção de conjuntos. A conjunção é representada pelo conectivo lógico∧, e em programação por AND ou &&. A conjunção lógica pode ainda ser representada pelo símbolo do produto.