및/또는 공식 해결사

Question

나는 다음과 같은 공식을 단순화 할 있다? 누군가가이 일을 도울 수 있습니까?

누군가이 문제와 관련된 단어를 말할 수 있습니까? 이것이 어떻게 불려지는지 알 수 없기 때문에 공식 솔버는 다른 것입니다 ...

Answer 1

혹시이 문제와 관련된 단어를 누군가 말해 줄 수 있습니까? 이것이 어떻게 불리는 지 알 수 없기 때문에 공식 솔버는 다른 것입니다 ...

나는 당신이 찾고있는 것이 수식의 disjunctive normal form이라고 생각합니다. 명백히 당신은 완전한 형태가 필요하지 않습니다. 각 괄호 안에 각 문자 (부정 여부와 상관없이)가 필요하지 않기 때문입니다. 이는 결과가 일반적으로 고유하게 정의되지 않았 음을 의미합니다.

원래 수식에 부정이 포함되지 않는 한 distributive law은 부울 연결 기호를 재정렬하는 데 가장 유용한 도구입니다. 부정이 또한 역할을한다면, De Morgan's laws도 관련성이 있습니다.

Disjunctive normal form에 대해 Stack Overflow를 검색하면이 양식으로 다양한 언어로 변환하라는 다양한 요청을 찾을 수 있습니다. 그들 중 많은 사람들이 완전한 형식을 목표로 삼을 것입니다. 그러므로 그 답을 읽을 때 그 구별을 명심하십시오.