Boolean function

논리함수, Logical function, Switching function등으로도 부른다. 쌍대함수 dual function 이상을 만족하는 g를 f의 쌍대함수라고 한다.

대표적으로, x+y와 x*y는 서로 상대함수이다. 이때, 두 함수의 진리값표를 변수값에 대한 이진수 순으로 나열할때, 두 함수의 진리값은 상하 순서와 참거짓이 반전되있음을 알수 있다.

자기쌍대함수 self-dual function 논리함수 f의 쌍대함수가 f자신일때, f를 자기쌍대함수라고 한다. 자기 자신의 쌍대이므로, 진리값표 또한 상하순서와 참거짓이 반전되어있음을 알수 있다.

대표적으로, 다수결함수가 있다. f(x, y, z) 를 다수결의 결과를 반환하는 함수라 할때, 모든 input(투표자 전원의 찬반)이 반전되면, 결과도 반전된다. 자기반쌍대함수 다음을 만족하는 논리함수 f를 자기반쌍대함수라고 한다.

모든 input이 역전될때 같은값을 return하므로, 진리값표는 상하대칭임을 유추할수 있다. 자기반쌍대함...