컴퓨터 시스템 : 전자식 데이터 처리 시스템(EDPS: Electronic Data Processing System)
논리 게이트 : 디지털 논리회로를 구현하는 데 기본적으로 사용되는 요소
불대수(Boolean algebra) : 0 또는 1의 값을 갖는 논리변수와 논리연산을 다루는 대수
불함수 : 논리변수의 상호관계를 나타내기 위해 불변수, 불연산기호, 괄호 및 등호 등으로 나타내는 대수적 표현
진리표(Truth table) : 논리변수에 할당한 0 과 1의 조합 리스트