어떻게 내가 규칙 (A->B) = !A을 것을 사용하여 표현 표준화했습니다 (A^B) --> !B v C v !(A v C)는 어떻게 정상화 (A^B) 단순화 할 -!> B 브이 C의 V (브이 C)
을 정상화하고 단순화 할 또는 B 그러나 나는 그것을 단순화하는 방법을 잘 모르겠습니다. 나는 대답 !A v !B v C로 끝났다.
이것이 맞습니까? 아니라면 어디에서 잘못 될까요?
나는 당신과 같은 대답을 얻고 있습니다.
1. (A^B) => !B V C V !(A v C)
2. (A^B) => !B V C V (!A^!C)
3. (A^B) => !B V (C V (!A^!C)) //(C V (!A^!C)) => C V !A
4. (A^B) => !B V (C V !A)
5. (A^B) => !A V !B V C
6. !(A^B) V (!A V !B V C)
7. (!A V !B) V (!A V !B V C)
8. !A V !B V C
제안 ... 1 단계에서 발현에 대한 진리표를 수행하고 우리의 논리가 올바른지 확인합니다 8 단계에서 표현 진실 테이블에 일치하는 경우를 참조하십시오. 단순화가 간다면 8 단계로 진행할 수 있습니다.
희망이 도움이됩니다.
정말 고마워요! –
여기서'C '가 들어 오면 더 많은 문맥을 제공하지 않아도됩니다. –
간단하게 표현식에 A, B 또는 C가 무엇인지 알 필요가 없습니다. @Alex - 아마도 수학 교환에서 더 많은 행운을 얻었을 것입니다. 프로그래머는 종종 이런 종류의 순수한 논리/수학 문제를 얻지 않습니다. 나는 이것을 해결하는 방법을 모으기 위해 수학 수치를 털어 내야했다. ... – Jake
@Jake :하지만 질문에는 [tag : prolog]라는 태그가 붙어있어서, 보통 사람이 Prolog에서 프로그램을 찾고 있음을 의미한다. (당신은 생각하지 않는다). 그래서 적어도 잘못된 방법으로 태그가 붙어 있습니다. –