논리 좆같이 나오면 걍 스킵하는게 나은거같음
귀류법이나 ~(a^b)->c 이거나 c v d 이딴거나
선지대입해서 소거면 시간은 ㅈㄴ넣고 리스크가 큰듯
걍 제끼고 시간남으면 나중에 가서 푸는게 나은듯