рефераты конспекты курсовые дипломные лекции шпоры

Реферат Курсовая Конспект

Полнота множества функций. Теорема Поста.

Полнота множества функций. Теорема Поста. - раздел Математика, Основные понятия теории множеств Функциональная Полнота — Множества Логических Операций Или Б...

Функциональная полнота — множества логических операций или булевых функций — это возможность выразить все возможные значения таблиц истинности с помощью формул из элементов этого множества. Логика обычно использует такой набор операций: конъюнкция (), дизъюнкция (), отрицание (), импликация () и эквиваленция

(). Это множество операций является функционально полным.

Теорема Поста

Все остальные логические функции можно составить из набора логических функций, среди которых есть:

  • хотя бы одна не линейная;
  • хотя бы одна не монотонная;
  • хотя бы одна не самодвойственная;
  • хотя бы одна не сохраняющая 0;
  • хотя бы одна не сохраняющая 1.

 

– Конец работы –

Эта тема принадлежит разделу:

Основные понятия теории множеств

Под множеством будем понимать совокупность определ нных вполне различаемых объектов рассматриваемых как единое целое это понятие фундаментально... Множества задаются двумя способами перечислением и описанием Задание... Описательный способ задания множества состоит в том что указывается характерное свойство которым обладают все...

Если Вам нужно дополнительный материал на эту тему, или Вы не нашли то, что искали, рекомендуем воспользоваться поиском по нашей базе работ: Полнота множества функций. Теорема Поста.

Что будем делать с полученным материалом:

Если этот материал оказался полезным ля Вас, Вы можете сохранить его на свою страничку в социальных сетях:

Все темы данного раздела:

Свойства бинарных отношений.
1. = ,

I-группа
1.Коммутативности: Х / У = У / Х Х / У = У / Х 2. Ассоциативности: (сочетательный) Х / (У / Z) = (X / Y) / Z

Дизъюнктивные и конъюнктивные нормальные формы. Совершенные нормальные формы. Алгоритм построения.
Дизъюнктивным одночленом от n переменных называется дизъюнкция этих переменных или их отрицаний X1 / X2(отриц.)/ X3, X1 / X 3(отриц.) , X 1 / X 2 / X3 Аналогично конъюнктивным одн

Многочлен Жегалкина. Алгоритм построения.
Многочлены Жегалкина являются еще одним интересным подклассом формул, позволяющим однозначно представлять булевы функции. Многочленами Жегалкина назваются формулы над множеством функций F

Предикаты. Применение предикатов.
Предика́т — любое математическое высказывание, в котором есть, по меньшей мере, одна переменная[источник не указан 670 дней]. Предикат является основным объектом изучения логики первого порядк

Формулы логики предикатов. Равносильные формулы, приведенные и нормальные формы.
Формулы логики предикатов первого порядка рекурсивно определяются следующим образом: 1. атом есть формула; 2. если A и B

Формальные системы. Умозаключения и их виды.
Форма́льная систе́ма — результат строгой формализации теории, предполагающей полную абстракцию от смысла слов используемого языка, причем все условия, регулирующие употребление этих слов

Хотите получать на электронную почту самые свежие новости?
Education Insider Sample
Подпишитесь на Нашу рассылку
Наша политика приватности обеспечивает 100% безопасность и анонимность Ваших E-Mail
Реклама
Соответствующий теме материал
  • Похожее
  • Популярное
  • Облако тегов
  • Здесь
  • Временно
  • Пусто
Теги