A ∧ (B → C) ≡?(A ∧ B) → (A ∧ C)

A ∧ (B → C) ≡ A ∧ (¬B ∨ C) ≡ A ∧ ¬B ∨ A ∧ C

(A ∧ B) → (A ∧ C) ≡ ¬A ∨ ¬B ∨ A ∧ C

При A ≡ 0, B ≡ 0, C ≡ 1: A ∧ (B → C) ≡ 0, (A ∧ B) → (A ∧ C) ≡ 1 ⇒ дистрибутивность для
конъюнкции относительно импликации не выполняется


Заявка на расчет