Докажите что система функций является полной {¬ V). Бесплатный доступ к решению задач

Реферат.Справочник
Решенные задачи по высшей математике
Докажите что система функций является полной {¬ V)

Докажите что система функций является полной {¬ V) .pdf

Зарегистрируйся в 2 клика в Кампус и получи неограниченный доступ к материалам с подпиской Кампус+ 🔥

Условие

Докажите, что система функций является полной {¬,⋁}. Подробно обоснуйте решение, показав принадлежность функции из набора к тому или иному классу эквивалентности функций, или приведите пример, опровергающий эту принадлежность.

Решение

Потяни, чтобы посмотреть

Функция отрицания (¬), очевидно, не сохраняет константу 0, также, не сохраняет константу 1 по определению отрицания . Ясно, что она не монотонная, самодвойственная и линейная.
Дизъюнкция (⋁) сохраняет два вида констант, монотонная, не самодвойственная и не линейная.
Таблица Поста в этом случае имеет вид:
K0 K1 M S L
A
─ ─ ─ + +
A⋁B
+ + + ─ ─
Очевидно, что заданная система функционально полна, т.к

50% задачи недоступно для прочтения

Переходи в Кампус, регистрируйся и получай полное решение

Получить задачу