論理関数の証明の問題です。

質問

(1) F(x1,x2,...,xn)を任意の論理関数とし
F(x1,x2,...,xn) = x1'・F(0,x2,...,xn) + x1・F(1,x2,...,xn)
を証明せよ。（' は反転の意）

(2) 上式を踏まえて次式を証明せよ。
F(x1,x2,...,xn) = (x1' + F(1,x2,...,xn)) ・ (x1 + F(0,x2,...,xn))

以上のような問題です。
どなたかお教え頂けないでしょうか。
よろしくお願いします。

回答No.1

Tacosan

何が言えれば「2つの論理関数が等しい」と言えるのかを考えてください.