명제논리는 카르노맵 만들면 끝인데

러셀의 한정기술구도 곱의 형태로 만드는 예시 같음