最後的P((A or B)and C)這個有點問題
正確寫法應該是(A or B)and C =(A and C) or(B and C)
==(A and C) +(B and C) - ((A and C)and(B and C))

==(A and C) +(B and C) - (A and B and C)

這漾寫不曉得可以嗎