Чтобы упростить логическое выражение (НЕ B×C) + (B×C) + (НЕ A×C), воспользуемся законами логики.
Начнем с записи выражения: (¬B ∧ C) ∨ (B ∧ C) ∨ (¬A ∧ C)
Объединим первые две части. Заметим, что они имеют общий множитель C. Применим закон распределения: C ∧ (¬B ∨ B) ∨ (¬A ∧ C)
По закону исключённого третьего (¬B ∨ B) всегда истинно, значит: C ∨ (¬A ∧ C)
Теперь можно снова вынести общий множитель C: C ∨ (¬A ∧ C) = C ∧ (1 ∨ ¬A)
Поскольку (1 ∨ ¬A) также истинно, получим: C
Таким образом, упрощённое логическое выражение выглядит как: C.
Это означает, что в нашем исходном выражении важен только параметр C, а остальные переменные не влияют на результат.