問題１
Majority_3（３変数Majority）を表す論理式を作れ。

問題２
Xi(i=1,2,...)を0,1の値を取るブール変数（命題論理変数）として、
以下の論理式について考える。

P=(X1∧X2)∨(X3∧X4)

このとき、Pの値を１とする(X1,X2,X3,X4)の組をすべて挙げよ。

問題３
問題２で扱ったPの論理式を一般化した2n個の変数X1,...,X2nからなる
以下の論理式について考える。

Q(n)=(X1∧X2)∨(X3∧X4)∨...∨(X2n-1∧X2n)

このとき、Q(n)の値を１とする(X1,X2,...,X2n)の組はいくつあるか。
またその組の中で、１をちょうど２つ含むもの、３つ含むものはいくつあるか。

お願いします。