sgc109   2달 전

전체 식을 참으로 만드는 케이스는 함의 그래프에서 위상정렬을 해서 각 정점을 false 로 만들어서 손해 볼 것이 없다는 개념으로

변수가 이미 true/false 가 정해졌다면 넘어가고, 안정해져있다면 not 정점이면 true, 아니면 false 로 변수들을 하나씩 true/false 를 정하면서 나가잖아요!?

그런데 특정 변수가 true 면서 다른 모든 명제를 만족시키는지 판단하는것을 어떤식으로해야하나요???

koosaga   2달 전

a가 true임과 a->-a이 true임이 동치입니다. 

고로 저 식을 넣어주면 돼요. 

koosaga   2달 전

-a >> a 식입니다 본문에 이상하게 썼네요

sgc109   2달 전

koosaga 답변감사드립니다.

이해하려고 노력을하고있는데 

a가 true 임과 -a -> a 이 true 임이 왜 동치가 되는지 이해가 안갑니다..ㅠ

sgc109   2달 전

입력으로 a,b가 들어왔을때 not(a) -> b 와 not(b) -> a 를 그어주는것과 관련이있나요?

sgc109   2달 전

제가 이해한게 맞다면 계산식에서 ∧ (a ∨ a)  는 절을 하나 추가해주면 a는 무조건 true 가 되어야하므로 저 절을 식에 추가하고 not(a) -> a 를 그어주는거군요

koosaga   2달 전

네 맞아요. 마지막 댓글이 정확한 설명입니다.

댓글을 작성하려면 로그인해야 합니다.