The Boolean theorem $$AB + \overline{A} C + BC = AB + \overline{A} C$$ crresponds to

A

$$(A + B).(\overline{A} + C).(B + C) = (A + B).(\overline{A} + C)$$

B

$$AB + \overline{A} C + BC = AB + BC$$

C

$$AB + \overline{A} C + BC = (A + B).(\overline{A} + C).(B + C)$$

D

$$ (A + B).(\overline{A} + C).(B + C) = AB + \overline{A} C$$