回答:
問題は#2SATとして表現し直すことができます。見る
http://en.wikipedia.org/wiki/2-satisfiability
現在の最も正確なカウントアルゴリズムへの参照については、「満足のいく割り当ての数をカウントする」セクションをご覧ください。
おおよそのカウントについては、次の論文(APPROX-RANDOM 2011でも)
http://arxiv.org/abs/1105.5131
最先端の技術を説明しています。
この研究分野は、多くの数学的およびアルゴリズム的手法を利用しており、理論的なコンピューター科学者だけでなく、数論者、確率論者、組み合わせ論者、統計物理学者などにとっても興味深い分野です。最近の2つの論文はあなたに良いスタートを切るかもしれませんが、何十年も前のトピックに関する深く興味深い論文の豊富なコレクションがあります。