Question 1026781
The statement is true by mathematical logic.

The premise is symbolized by (A∨B)∧(A∨C), and by the distributive property is equivalent to A∨(B∧C).

No need for long proofs or subproofs.