( A => B) ^ C =-A ^ C v B ^ C

Данное утверждение является логическим эквивалентом и может быть доказано с использованием законов логики. Давайте рассмотрим его поэтапно.

1. Пусть A, B и C - произвольные логические выражения.

2. Раскроем импликацию в левой части уравнения: (A => B) ^...