Логотип Автор24реферат
Задать вопрос
%
уникальность
не проверялась
Решение задач на тему:

Докажите что одна из систем связок I и II полная

уникальность
не проверялась
Аа
1347 символов
Категория
Высшая математика
Решение задач
Докажите что одна из систем связок I и II полная .pdf

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

Условие

Докажите, что одна из систем связок I и II полная, а другая - не полная. Для доказательства, что система связок полная, используйте системы связок ¬, ⋁ и ¬,⋀ полные. I II ↚, ← ↛,↚,⊕ Таблицы истинности функций ⊕,←,↛,↚: x y ⊕ ← ↛ ↚ 1 1 0 1 0 0 1 0 1 1 1 0 0 1 1 0 0 1 0 0 0 1 0 0

Решение

Потяни, чтобы посмотреть
Нетрудно видеть, что система II не является функционально полной, так как каждая из функций системы {↛,↚,⊕} сохраняет константу 0, т.е. на наборе (00) каждая из этих функций равна 0. По теореме Поста, полная система должна содержать хотя бы одну функцию, не принадлежащую любому из пяти замкнутых классов - сохраняющих константу 0, сохраняющих константу 1, монотонных, линейных и самодвойственных функций.
Рассмотрим систему {↚, ←} . Функция ← не сохраняет константу 0, но сохраняет константу 1, т.е. на наборе (11) функция равна 1. Однако, эта функция не монотонная, не линейная, не самодвойственная
50% задачи недоступно для прочтения
Переходи в Кампус, регистрируйся и получай полное решение
Получить задачу
Больше решений задач по высшей математике:

Найти частные производные первого порядка функции

315 символов
Высшая математика
Решение задач

Найти общий интеграл дифференциального уравнения

643 символов
Высшая математика
Решение задач

Методом конечных разностей найти решение краевой задачи

1956 символов
Высшая математика
Решение задач
Все Решенные задачи по высшей математике
Закажи решение задач
Оставляя свои контактные данные и нажимая «Найти работу», я соглашаюсь пройти процедуру регистрации на Платформе, принимаю условия Пользовательского соглашения и Политики конфиденциальности в целях заключения соглашения.

Наш проект является банком работ по всем школьным и студенческим предметам. Если вы не хотите тратить время на написание работ по ненужным предметам или ищете шаблон для своей работы — он есть у нас.