Укажите, какие функции (функцию) следует удалить из системы F, чтобы она стала базисом
F: f = X ∧ Y ∧ ¬Z, g = X ∨ Y , h = X ⊕ Y ⊕ 1
Другие предметы Колледж Логические функции и базы логики дискретная математика колледж функции базис системы удаление функций логические функции система F X ∧ Y ∧ ¬Z X ∨ Y X ⊕ Y ⊕ 1 Новый
Чтобы определить, какие функции следует удалить из системы F, чтобы она стала базисом, сначала нужно понять, что такое базис булевых функций. Базисом называется такой набор функций, из которых можно выразить любую булеву функцию с помощью суперпозиций (комбинаций) и других операций, таких как конъюнкция, дизъюнкция и отрицание.
В системе F у нас даны следующие функции:
Теперь разберем каждую из них:
Для того чтобы система стала базисом, она должна содержать функции, из которых можно выразить все остальные. Один из известных полных базисов - это {¬, ∧, ∨}. Давайте посмотрим, как наши функции соотносятся с этим базисом:
Таким образом, если мы оставим функции f и g, то они покроют базис {¬, ∧, ∨}, так как:
Функция h (X ⊕ Y ⊕ 1) не является необходимой для формирования базиса, так как она может быть выражена через комбинацию других функций базиса.
Таким образом, чтобы система F стала базисом, следует удалить функцию h.