Do Wikipédia:
Operadores lógicos
AND, NAND, OR, XOR e NOT são os principais operadores lógicos, base para a construção de sistemas digitais e da Lógica proposicional, e também muito usado em linguagem de programação. Os operadores AND, NAND, OR e XOR são operadores binários, ou seja, necessitam de dois elementos, enquanto o NOT é unário. Na computação, esses elementos são normalmente variáveis binárias, cujos possíveis valores atribuídos são 0 ou 1. Porém, a lógica empregada para essas variáveis serve também para sentenças (frases) da linguagem humana, onde se esta for verdade corresponde ao valor 1, e se for falsa corresponde ao valor 0.
AND
Operador lógico no qual a resposta da operação é verdade (1) se ambas as variáveis de entrada forem verdade.
x1 x2 x1 AND x2
0 0 0
0 1 0
1 0 0
1 1 1
NAND
Operador lógico no qual a resposta da operação é verdade (1) se pelo menos uma das variáveis é falsa.
x1 x2 x1 NAND x2
0 0 1
0 1 1
1 0 1
1 1 0
OR
Operador lógico no qual a resposta da operação é verdade (1) se pelo menos uma das variáveis de entrada for verdade.
x1 x2 x1 OR x2
0 0 0
0 1 1
1 0 1
1 1 1
XOR
Operador lógico no qual a resposta da operação é verdade (1) quando as variáveis assumirem valores diferentes entre si.
x1 x2 x1 XOR x2
0 0 0
0 1 1
1 0 1
1 1 0
NOT
Operador lógico que representa a negação (inverso) da variável atual. Se ela for verdade, torna-se falsa, e vice-versa
x1 NOT x1
0 1
1 0
Fonte: https://pt.wikipedia.org/wiki/Operador_lógico
Porta lógica
Acho esse assunto off-topic, porque mesmo que tenha algum contexto semelhante a programação ainda sim não sei se é totalmente abrangente, apesar de duvidas de algorítimos serem aceitas, ainda sim a duvida não é sobre um algorítimo especifico, mesmo assim apenas pra entoar a diferença:
Portas lógicas ou circuitos lógicos, são dispositivos que operam um ou mais sinais lógicos de entrada para produzir uma e somente uma saída, dependente da função implementada no circuito. São geralmente usadas em circuitos eletrônicos, por causa das situações que os sinais deste tipo de circuito podem apresentar: presença de sinal, ou "1"; e ausência de sinal, ou "0". As situações "Verdade" e "Falso" são estudadas na Lógica Matemática ou Lógica de Boole; origem do nome destas portas. O comportamento das portas lógicas é conhecido pela tabela verdade que apresenta os estados lógicos das entradas e das saídas.
AND
ENTRADA SAÍDA
A B A AND B
0 0 0
0 1 0
1 0 0
1 1 1
OR
ENTRADA SAÍDA
A B A OR B
0 0 0
0 1 1
1 0 1
1 1 1
NOT
ENTRADA SAÍDA
A NOT A
0 1
1 0
NAND
ENTRADA SAÍDA
A B A NAND B
0 0 1
0 1 1
1 0 1
1 1 0
NOR
ENTRADA SAÍDA
A B A NOR B
0 0 1
0 1 0
1 0 0
1 1 0
XOR
ENTRADA SAÍDA
A B A XOR B
0 0 0
0 1 1
1 0 1
1 1 0
XNOR
ENTRADA SAÍDA
A B A XNOR B
0 0 1
0 1 0
1 0 0
1 1 1
Fonte: https://pt.wikipedia.org/wiki/Porta_lógica