Задача Задача №1201939
А
А
Давайте рассмотрим данное выражение по шагам:
- (A ∨ B ∨ C) ∧ (-A ∨ B ∨ -C)
- (-A ∨ B ∨ C) ∧ (A ∨ -B ∨ C) (по закону дистрибутивности)
- (-A ∨ B ∨ C) ∧ (-A ∨ -B ∨ -C) (закон коммутативности)
- -A ∨ (B ∧ C) ∧ (-A ∨ -B ∨ -C) (применяем дистрибутивность)
- (-A ∨ B) ∧ (-A ∨ C) ∧ (-A ∨ -B ∨ -C) (дистрибутивность)
- (-A ∨ B) ∧ (-A ∨ C) (так как -A ∨ -B ∨ -C ложь и не влияет на результат)
Итак, логическое выражение, равносильное исходному выражению, будет: (-A ∨ B) ∧ (-A ∨ C)