Условие задачи
Докажите, что система функций является полной {¬,⋁}. Обоснуйте решение, показав принадлежность функции из набора к тому или иному классу эквивалентности функций, или приведите пример, опровергающий эту принадлежность.
Ответ
Функция отрицания (), очевидно, не сохраняет константу 0, также, не сохраняет константу 1 по определению отрицания. Ясно, что она не монотонная, самодвойственная и линейная.
Дизъ...
Потяни
