[BOJ 2207] 가위바위보

문제 출처 : https://www.acmicpc.net/problem/2207

 

풀이 :

 

2-SAT 문제입니다.

 

i번째 라운드에서 원장선생님이 무엇을 냈는지를 나타내는 변수를 Xi라 할때,

원장선생님은 바위 또는 가위만 낼수 있으므로 바위를 ㄱXi, 가위를 Xi라 두고 절을 구성한 후

CNF 가 TRUE가 되면 "^_^", FALSE가 되면 "OTL"을 출력하면 되는 문제입니다.