1. A⋀¬B∨A⋀¬C≡A⋀(¬B∨¬C)≡A⋀¬(B⋀C) -- (3 лог. эл.)
2.(A↔B)⋀(B→C)≡(¬A⋀¬B∨A⋀B)⋀(¬B∨C)≡(¬A⋀¬B⋀¬B)∨(¬A⋀¬B⋀C)∨(A⋀B⋀¬B)∨(A⋀B⋀C)≡(¬A⋀¬B)∨(¬A⋀¬B⋀C)∨(A⋀B⋀¬B)∨(A⋀B⋀C)≡(¬A⋀¬B)∨(A⋀B⋀¬B)∨(A⋀B⋀C)≡(¬A⋀¬B)∨0∨(A⋀B⋀C)≡(¬A⋀¬B)∨(A⋀B⋀C)≡¬(A∨B)∨(A⋀B⋀C) -- (5 лог. эл.)
Схемы в прикрепленных.
