Условие:
Решения должны быть подробными. При выполнении номера 2 вначале перейти к табличному заданию функции, после чего найти вектор-значений двойственной функции. При выполнении номера 4: вначале определить (с обоснованием) принадлежность функций классам Поста, затем для определения полноты воспользоваться критерием полноты Поста и на последнем шаге указать базисы (если они есть).Правильное обоснованное решение номеров 1,2,3 оценивается в два балла каждое, номера 4-в ц балла. Найти вектор значения функции, двойственной к функции f: f = (y ↓ (z ⊕ xy)) ∧ ((x ∨ y¯ ∨ z) → (z ↔ (0 |y )
Решение:
Ниже представлено подробное решение по заданию «Найти вектор значения функции, двойственной к функции f», где f = (y ↓ (z ⊕ xy)) ∧ ((x ∨ y¯ ∨ z) → (z ↔ (0 | y) с учётом разъяснения обозначений и последовательности действий. Заметим, что в условии далее сказано, что при выполнении пункта 2 следует сначала перейти к табличному заданию функции, а затем найти вектор значений двойственной функции. Мы пошагово разберём задачу. ──────────────────────────── ШАГ 1. Интерпретация обозначений и упрощение записи функции 1.1. Обозначения, которые мы будем использовать: • x, y, z – булевы перемен...