∼x∨y 2 드모르간 법칙이용 부정(∼)범위 줄여3 변수 표준화 4 존재기호 제거 - 스콜렘 함수5 모든 양화사 수식의 앞으로 (관두형)6 양화사 제외한 부분 연언표준형으로 변환 ... ,7 전칭기호, 기호 제거- 도출연역 이용한 증명과정1 증명코자 하는 정리 부정, 공리의 리스트에 첨가2 공리들 절의 형태로 변환3 도출할 수 있는 절의 쌍이 더 이상 없을 때 ... 까지 반복도출할 수 있는 절의 쌍을 찾아 도출절 구해, 도출절을 절들의 리스트에 첨가false가 얻어지면 정리가 참임을 증명4 정리가 거짓임을 알리고 끝.8장 퍼지논리에 의한 지식표현
)=(x+y)+zx.(y.z)=(x.y).z8 분배 법칙x.(y+z)=x.y+x.zx+y.z=(x+y).(x+z)9 드모르간 법칙(x+y)'=x'.y'(x.y)'=x'+y'10 흡수 ... 법칙x+x.y=xx.(x+y)=x위에 표에서 AND(.)기호는 생략할 수도 있으며, 이들 정리들은 서로 쌍대성(duality principle)을 지닌 것끼리 짝지워져 있다. 모든
+y).(x+z)9 드모르간 법칙(x+y)'=x'.y'(x.y)'=x'+y'10 흡수 법칙x+x.y=xx.(x+y)=x위에 표에서 AND(.)기호는 생략할 수도 있으며, 이들 정리 ... 와 마찬가지로 원소들의 집 합과 연산자의 집합으로 정의된다..불대수의 기본 정리는 아래와 같다.{구분ORAND1x+0=xx.1=x2x+x'=1x.x'=03x+x=xx.x=x4x+1=1x