Заказ работы

Заказать
Каталог тем

Самые новые

Значок файла Обработка экспериментальных данных при многократном измерении с обеспечением требуемой точности. Метод. указ. к лабораторной работе по дисциплине «Метрология, стандартизация и сертификация» / Сост.: В.А. Дорошенко, И.П. Герасименко: ГОУ ВПО «СибГИУ». – Новокузнецк, 2004. – 20 с. (8)
(Методические материалы)

Значок файла Методические указания по дипломному и курсовому проектированию к расчету материального баланса кислородно-конвертерной плавки при переделе фосфористого чугуна с промежуточным удалением шлака / Сост.: В.А._Дорошенко, И.П _Герасименко: ГОУ ВПО «СибГИУ». – Новокузнецк, 2003. – с. (8)
(Методические материалы)

Значок файла Методические указания по дипломному проектированию к расчету оборудования кислородно-конвертерного цеха / Сост.: И.П. Герасименко, В.А. Дорошенко: ГОУ ВПО «СибГИУ». – Новокузнецк, 2003. – 14 с. (9)
(Методические материалы)

Значок файла Исследование особенностей гидродинамики конвертерной ванны: Метод. указ. / Сост. Е.В. Протопопов, Н.А. Чернышева: СибГИУ. – Новокузнецк, 2003. – 16 с., 4 ил (8)
(Методические материалы)

Значок файла Изучение особенностей прокатки сортовых профилей. Метод. указ. / Сост.: А.Р. Фастыковский, В.Н. Кадыков, В.М. Нефедов: СибГИУ. – Новокузнецк, 2004. – 18 с (7)
(Методические материалы)

Значок файла ХИМИЯ ДЛЯ СТУДЕНТОВ ЗАОЧНОГО ФАКУЛЬТЕТА Методические рекомендации, программа и контрольные задания для студентов заочного факультета (8)
(Методические материалы)

Значок файла Задания для пятнадцатиминутных опросов на практических и лабораторных работах: /Сост.: Ж.М.Шулина, О.Р.Глухова: ГОУ ВПО «СибГИУ».-Новокузнецк, 2003 (8)
(Методические материалы)

Каталог бесплатных ресурсов

Полные системы ФАЛ. Теорема Поста

1.    Полные системы ФАЛ.

Определение 1. Пусть задана конечная система функций алгебры логики  от «m» переменных .

 называется полной, если при помощи только операций подстановки можно получить (сконструировать)  из  все  функций, где .

Например, тривиально полной является система из 16 функций от 2–х переменных. Каждая функция может быть задана соответствующей таблицей истинности.

Полной является набор (система) функций 2–х переменных {&, Ú, ù}. Из этих функций строится СДНФ и СКНФ для любой функции от «n» переменных.

Интерес представляют такие системы (наборы) функций, которые содержат наименьшее число функций. Например, интересно знать, есть ли набор из функций 2–х переменных, состоящий всего лишь из 2–х функций, либо только из одной функции.

Определение 2. Набор функций  называется базовым или минимальным (min), если при вычёркивании из него хотя бы одной функции, он теряет свойство полноты.

Например, если из {&, Ú, ù} вычеркнутьù, то свойство полноты потеряется (нельзя сделать СДНФ и вообще ДНФ). А если вычеркнуть Ú (или &), что будет? На этот вопрос отвечает теорема Поста.

Заметим! Единственная операция, при помощи которой можно конструировать функции из функций – подстановка. Нужно вспомнить конструирование рекурсивных функций и информационные структуры алгоритмов – ИСА). 



Размер файла: 258 Кбайт
Тип файла: doc (Mime Type: application/msword)
Заказ курсовой диплома или диссертации.

Горячая Линия


Вход для партнеров