Y = A・B・C + A・C + A・B
= A・B・C + A・1・C + A・B・1
= A・B・C + A・(B+B)・C + A・B・(C+C)
= A・B・C + A・B・C + A・B・C + A・B・C+ A・B・C
= A・B・C + A・B・C + A・B・C+ A・B・C
A・1=A
A+A=1
分配則
べき等則
変数が6つ以下なら真理値表をつかうとよいでしょう。
変数が7つ以上なら真理値表をつくるのは大変だと思います。
式を変形したほうがよいでしょう。