##### ###### ##### ### # # ### # # ###### ## ## ## ## ## ## ## # # # # # ## ##### #### ##### # # # # # # # #### ## # ## ## ## ## # # # # # ## ## # ###### ## ### # ### # ######
##### ###### ##### ### # # ### # # ###### ## ## ## ## ## ## ## # # # # # ## ##### #### ##### # # # # # # # #### ## # ## ## ## ## # # # # # ## ## # ###### ## ### # ### # ######
(Same topping opposite signs)
What if one customer wants and another wants ?
First clause gives: NOT . Second clause gives: NOT . These edges form a cycle: NOT . The SCC contains both and NOT . You can see the instance is unsatisfiable. Print IMPOSSIBLE. When a variable and its negation share an SCC, no valid assignment exists.