Доказать справедливость равенства
A ⇒ B принимает значение 0, если A = 1 и B = 0, и 1 иначе. Несложно догадаться, что (A ⇒ B) = (-A ∨ B) Ну а -(-A ∨ B) = -(-A) ∧ -B = A ∧ -B