Импликация раскрывается так:
X ⇒ Y = ¬X \/ Y
Поэтому:
¬(A \/ B) ⇒ (A /\ C) = ¬¬(A \/ B) \/ (A /\ C) = A \/ B \/ (A /\ C)
По закону поглощения:
X \/ (X /\ Y) = X
Поэтому:
A \/ B \/ (A /\ C) = A \/ B
3) F = ¬(Z \/ ¬Y) /\ X
Схему смотрите на рисунке
4) F = ((¬A /\ B) \/ A) /\ C
5) А) Антон сегодня был готов к урокам.
B) В школу не поставили новые компьютеры.
C) На улице не сухо.