Данная система уравнений:

Преобразуем уравнение 1:
-A∧(B∨-C)=0
-A∧(B∨C)=0 (по закону исключения третьего)
-AB∧AC=0 (по закону дистрибутивности)
AB=0 (по закону нейтральности конъюнкции)

Теперь, учитывая уравнение 2 (A->B = 1), можно сказать, что A=1, B=1.

Подставим значения A=1 и B=1 в уравнение 3 (-B∨C=0):
-(1)∨C=0
-1∨C=0
0∨C=0
C=0

Таким образом, решение системы:
A=1, B=1, C=0