\(\begin{aligned} & A\vee\left(B'\wedge A'\wedge B'\wedge C'\right)\\ \equiv\, & A\vee\left(A'\wedge B'\wedge C'\right)\\ \equiv\, & A\vee\left(A'\wedge\left(B'\wedge C'\right)\right)\\ \equiv\, & \left(A\vee A'\right)\wedge\left(A\vee\left(B'\wedge C'\right)\right) \end{aligned}\)
Letzteres wegen des Distributivgesetzes.