Сопоставьте каждой из функций f{1}, f{2}, f{3}, f{4} функцию, которая реализуется формулой над ≤ft\{fi\right\}, если действовать в точном соответствии с алгоритмом, изложенном при доказательстве леммы о функции, не сохраняющей единицу.
| x ∨(≠g x ↓ y) | Выберите... | ≤slant |
|---|---|---|
| x ⊕ y | Выберите... | ≤slant |
| (00011100) | Выберите... | ≤slant |
| x →(y ⊕ z) | Выберите... | ≤slant |
| \cline { 2 - 3 } |
Ниже приводится подробное рассуждение и итоговое сопоставление функций.
─────────────────────────────
Первоначально в условии говорится об использовании алгоритма из доказательства леммы о функции, не сохраняющей единицу. Именно этот алгоритм позволяет, начиная с произвольной функции f (при условии f(1,…,1) = 0), получить формульное представление многих стандартных булевых функций.
В таблице записаны четыре формулы, каждая из которых задаёт некоторую булеву функцию (при этом две из них – функции от двух переменных, а две – от трёх). При этом принято, что запись (00011100) означает заф...