Упростить выражение используя законы алгебры логикиx=A¬B¬C v AB¬C v ABC

:

A(¬C v B)

A¬B¬C v AB¬C v ABC = A(¬B¬C v B¬C v BC) - дистрибутивный

A(¬B¬C v B¬C v BC) = A(¬C(¬B v B) v BC) - дистрибутивный

A(¬C(¬B v B) v BC) = A(¬C v BC) - исключение третьего и константа

A(¬C v BC) = A(¬C v B) - поглощения