変数の一部の否定を取ることは一般には許されない。点が嬉しい:の形の辺が使えること命題変数に関する双対性があること前者は複雑な条件が利用可能であることを保証すると共に、考慮するべき頂点の数を減らしてくれる。後者は頂点に割り当てる意味の選択を容易にする。種類の意味のみがある場合はその表裏を気にしなくてよいことを保証してくれる。例題でもあるのでそちらとも比較しながら見るとよい。問題の前半部分を飛ばして、いま議論したい部分を抜き出すと次のようになる:のマス目に石をいくつか置く。