A.((A∨B)∧(C∨D)∧(E∨F))B.((A∧B)∨(C∧D)∨(E∧F))C.((A→B)∨(C→∨(E→F))D.((A→B)∧(C→D)∧(E→F))
A.((A∧B∧C∧D∧E∧F∧G∧H∧I)→(J∧K∧L∧M)B.((A∧B∧C∧D∧E∧F∧G∧H∧I)→((J∧K∧L)→M))C.(((A∧B∧C∧D∧E∧F∧G∧H∧I)→(J∧K∧L))→M)D.(((A∧B∧C∧D∧E∧F∧G∧H∧I)→(J∨K∨L))→M)
A.(A∧B∧C)→(D∧E)B.(A∧B)→(C→(D→E))C.(A∧B)→(C→(D∧E))D.(A→(B→(C∧D∧E)))