46.29 맥컬럭-피츠 모델과 형식 논리학(Formal Logic)의 상호 관계