명제식을 결합 표준 형식 (CNF)으로 변환

-1

다음 두 수식을 결합 형식으로 줄이려고합니다.명제식을 결합 표준 형식 (CNF)으로 변환

여기 일반적인 방법/공식을 사용하고 있지만 중요한 단계가 빠진 것 같은 느낌입니다. 제대로 했습니까? https://en.wikipedia.org/wiki/Conjunctive_normal_form

2016-12-04 Code

이것은 프로그래밍 질문처럼 보이지 않으며 [수학 스택 교환] (http://math.stackexchange.com/)에 더 적합 할 것입니다. –

프로그래밍이나 소프트웨어 개발 대신 불리언 대수/[math.se]에 관한 질문이기 때문에이 질문을 주제와 관련이 없으므로 닫으려고합니다. – Pang

첫 번째 변환은 정확하지만 두 번째 결과는 (정확한 변환 동안) CNF에 있지 않습니다. 또한 RHS 수식의 변형을 사용하여 원을 돌리고 있습니다. 단순화하면 원본 (! A 및 (B 또는 C))으로 끝납니다.

CNF를 달성하려면 LHS 및 RHS 수식에 분배 "곱하기"를 적용하여 가장 바깥 쪽 연산자가 연결이되도록 한 다음 내부 용어를 단순화하십시오. 이 CNF 로의 변환은 공식의 기하 급수적 인 증가로 이어질 수 있음을 알아 두십시오.

단계 수를 줄이려면 중복되는 (최소가 아닌) 용어를 제거하여 DNF로 공식을 단순화 할 수 있습니다. 예 : "! A"와 "B"는 중복되므로 "! A"로 분리됩니다.

2016-12-04 19:24:16

답변