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

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

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

@koosaga 답변감사드립니다.

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

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

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

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

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