A função intersecção é também conhecida por produto ou função E (AND em inglês).
Vejamos um exemplo prático deste circuito:
Uma guilhotina eléctrica de corte de papel tem dois interruptores, um de cada lado da máquina, que têm que ser carregados simultaneamente para o motor ser ligado e a guilhotina descer. Os interruptores estão bastante afastados para cada um deles ser actuado por uma mão e garantir que o operador tem as mão ocupadas e portanto a salvo do corte da guilhotina (ver esquema de contactos eléctricos).
Como é evidente as entradas são os interruptores a e b. A saída será o motor M que comanda o movimento da guilhotina. Assim podemos dispôr numa tabela todas as possibilidades de combinações dos interruptores (tabela de verdade da esquerda).
Verifica-se que quando os interruptores a e b estão fechados é que o motor é actuado, caso contrário está parado. Ao fazermos a correspondência dos estados aberto, parado e fechado, actuado para os estados lógicos 0 e 1 respectivamente obtemos uma nova tabela de verdade (à direita).
O nome atribuído a este circuito lógico (AND lógico) provém da sua própria definição, i. é, A saída M é igual a 1 só quando a=1 e b=1.
Para representar o circuito lógico AND usa-se a simbologia representada em baixo à direita. Existrem expressões matemáticas para representar as funções lógicas, designadas por equações lógicas ou Booleanas. Assim a porta lógica AND de duas entradas escreve-se em notação booleana: M=a.b
A função reunião é também conhecida por soma ou função OU (OR em inglês).
Vejamos a sua implementação mecânica através de um exemplo.
Toda a gente sabe que a lâmpada interior de um automóvel acende quando se abre a porta do lado esquerdo ou a do lado direito. O esquema de contactos eléctricos representa através dos interruptores a e b as portas direita e esquerda e a lampâda por L. Assim podemos dispôr numa tabela todas as possibilidades de combinações dos interruptores (tabela de verdade da esquerda). Para efeitos lógicos e simplificação da tabela de verdade fazem-se corresponder aos estados P. Fech. (Porta Fechada) e L. Desl. (Luz Desligada) o estado lógico 0 e P. Aberta (Porta Aberta) e L. Ligada (Luz Ligada) o estado lógico 1, obtendo uma nova tabela de verdade (à direita).
O nome atribuído a este circuito lógico (OR lógico) provém da sua própria definição, i. é, A saída M é igual a 1 só quando a=1 ou b=1.
Para representar o circuito lógico OR usa-se a simbologia representada em baixo à direita. Existem expressões matemáticas para representar as funções lógicas, designadas por equações lógicas ou Booleanas. Assim a porta lógica OR de duas entradas escreve-se em notação booleana: M=a+b, mas lê-se a ou b. Deve-se ter atenção para não confundir com a operação aritmética de soma!!