概要 論理式が与えられるので，その式を真にするような変数の値の組合せが何通りあるか計算する． ただし，同じ変数は1回しか登場しない． 解法 同じ変数は1回しか登場しないという制限により，式をいくつかの区間（演算）に分けて考えることができる．組合…