##### ###### ##### ### # # ### # # ###### ## ## ## ## ## ## ## # # # # # ## ##### #### ##### # # # # # # # #### ## # ## ## ## ## # # # # # ## ## # ###### ## ### # ### # ######
##### ###### ##### ### # # ### # # ###### ## ## ## ## ## ## ## # # # # # ## ##### #### ##### # # # # # # # #### ## # ## ## ## ## # # # # # ## ## # ###### ## ### # ### # ######
(Same topping opposite signs)
What if one customer wants " " and another wants " "?
Let me trace what happens to see the contradiction. First clause gives: NOT → and NOT → . Second clause gives: → NOT and → NOT . You get a cycle: → NOT → . This creates an SCC containing both and NOT . The instance is unsatisfiable. Print IMPOSSIBLE. This shows how conflicting wishes create contradictions in the graph.
