Digital Logic Gate

Type	Distinctive Shape	Boolean Algebra	Truth Table A, B → Q	Explanation	Python Bitwise Operators
Buffer			0 → 0 1 → 1	입력을 그대로 복사
NOT			0 → 1 1 → 0	논리적 부정을 수행	~
AND		()	0, 0 → 0 0, 1 → 0 1, 0 → 0 1, 1 → 1	논리적 곱을 수행 입력이 모두 1인 경우에만 출력이 1	&
OR (inverter)		()	0, 0 → 0 0, 1 → 1 1, 0 → 1 1, 1 → 1	논리적 합을 수행 입력 중 어느 한 개 이상이 1인 경우 출력이 1	|
NAND (AND-NOT)			0, 0 → 1 0, 1 → 1 1, 0 → 1 1, 1 → 0	논리적 곱의 보수를 수행 입력 중 어느 한 개 이상이 0인 경우 출력이 0 입력이 모두 1인 경우에만 출력이 0
NOR (OR-NOT)			0, 0 → 1 0, 1 → 0 1, 0 → 0 1, 1 → 0	논리적 합의 보수를 수행 입력 중 어느 한 개 이상이 1이면 출력이 0 입력이 모두 0인 경우에만 출력이 1
XOR (exclusive-OR)			0, 0 → 0 0, 1 → 1 1, 0 → 1 1, 1 → 0	배타적 논리합을 수행 두 입력이 서로 다르면 출력이 1, 같으면 출력이 0	^
XNOR (exclusive-NOR)			0, 0 → 1 0, 1 → 0 1, 0 → 0 1, 1 → 1	배타적 논리합의 보수를 수행(XOR-NOT) 두 입력이 서로 다르면 출력이 0, 같으면 출력이 1

References

1. “Logic gate” From Wikipedia: the free encyclopedia, 18 Feb. 2025, https://en.wikipedia.org/wiki/Logic_gate
2. 손진곤, 『이산수학』, 한국방송통신대학교출판문화원, 2023