13 (AVC)→(BAC) 14 (AB) → (BVC)

Ответ: Смотри решение ниже.

Задача 13:

Доказать эквивалентность: (A ∨ C) → (B ∧ C) ≡ (A → C) ∧ (B → C)

По определению импликации: X → Y ≡ ¬X ∨ Y, применим это к обеим частям:

\[¬(A ∨ C) ∨ (B ∧ C) ≡ (¬A ∨ C) ∧ (¬B ∨ C)\]

Применим закон де Моргана к левой части:

\[(¬A ∧ ¬C) ∨ (B ∧ C) ≡ (¬A ∨ C) ∧ (¬B ∨ C)\]

Раскроем скобки в правой части, используя дистрибутивность:

\[(¬A ∧ ¬C) ∨ (B ∧ C) ≡ (¬A ∧ ¬B) ∨ C\]

Левая часть не эквивалентна правой, так как нет общего способа преобразовать одно в другое без дополнительной информации о значениях A, B, и C.

Вывод: Выражения (A ∨ C) → (B ∧ C) и (A → C) ∧ (B → C) не эквивалентны.

Задача 14:

Доказать эквивалентность: (A ∨ B) → (B ∨ C) ≡ (A → B) ∨ (B → C)

По определению импликации: X → Y ≡ ¬X ∨ Y:

\[¬(A ∨ B) ∨ (B ∨ C) ≡ (¬A ∨ B) ∨ (¬B ∨ C)\]

Применим закон де Моргана к левой части:

\[(¬A ∧ ¬B) ∨ (B ∨ C) ≡ (¬A ∨ B) ∨ (¬B ∨ C)\]

Упростим правую часть:

\[(¬A ∧ ¬B) ∨ (B ∨ C) ≡ ¬A ∨ B ∨ ¬B ∨ C\]

Так как B ∨ ¬B всегда истинно (закон исключенного третьего), выражение упрощается до:

\[(¬A ∧ ¬B) ∨ (B ∨ C) ≡ True\]

Левая часть не всегда истинна, в то время как правая часть всегда истинна. Следовательно, выражения не эквивалентны.

Вывод: Выражения (A ∨ B) → (B ∨ C) и (A → B) ∨ (B → C) не эквивалентны.

Ответ: Выражения в задачах 13 и 14 не эквивалентны.