>>892
何が使ってよくて、何が使っちゃいかんのかよくわからんが、
A∧B = B∧A
A∨B = B∨A
A∧(B∧C) = (A∧B)∧C
A∨A = A
A∧(A∨B) = A
あたりを使っていいなら、出来んでもない。

(A∧B)∨(A∧C)
= ((A∧B)∨A)∧((A∧B)∨C)
= (A∨(A∧B))∧(C∨(A∧B))
= ((A∨A)∧(A∨B))∧((C∨A)∧(C∨B))
= (A∧(A∨B))∧((A∨C)∧(B∨C))
= A∧((A∨C)∧(B∨C))
= (A∧(A∨C))∧(B∨C)
= A∧(B∨C)