Практическая работа "Классы Поста" по предмету «Элементы математической логики».
Оценка 4.8

Практическая работа "Классы Поста" по предмету «Элементы математической логики».

Оценка 4.8
Раздаточные материалы
pdf
математика
Взрослым
30.05.2018
Практическая  работа  "Классы Поста" по предмету «Элементы математической логики».
В работе даны определения всех классов Поста, сформулирована теорема о полноте системы булевых функций, примеры с решениями того, как следует определять, принадлежит ли заданная функция к какому-либо из классов Поста, приведены примеры для самостоятельного решения на 15 вариантов, дан критерий оценивания.Практическая работа "Классы Поста" по предмету по предмету «Элементы математической логики»
Классы Поста.pdf

Практическая  работа 

по предмету по предмету «Элементы математической логики»

Преподаватель Сипачева О.И.

 

 

Тема: Классы Поста.

 

 

 

Цель работы: знать определения классов Поста, теорему о функциональной полноте системы булевых функций, уметь  определять к какому классу Поста относится данная булева функция.

 

Ход работы.

1.        Изучить теоретические сведения к практической работе.

2.        Ответить на контрольные вопросы.

3.        Выполнить задание.

4.        Отчитаться  о проделанной работе.

 1. Краткие теоретические сведения и разобрать задачи с решениями. 

.

Американский математик Эмиль Пост ввёл в рассмотрение следующие замкнутые классы булевых функций:

Функции, сохраняющие константу 0 или 1;

Самодвойственные функции; Монотонные функции; Линейные функция.

 

Заметим, что существуют функции, не входящие ни в один из классов Поста. Любая такая функция сама по себе образует полную систему. В качестве примеров можно назвать штрих Шеффера или стрелку Пирса. для того чтобы записать полную систему функций надо проверить имеющиеся функции по всем яти классам Поста, а уже недостающую функцию записать исходя из теоремы "чтобы система булевых функций была полной, надо, чтобы в ней существовали:

-Хотя бы одна функция, не сохраняющая 0.

-Хотя бы одна функция, не сохраняющая 1.

-Хотя бы одна нелинейная функция.

-Хотя бы одна немонотонная функция.

-Хотя бы одна несамодвойственная функция.

 

 Важнейшие замкнутые классы

 

            Класс функций, сохраняющих константу 0

 Обозначим через T0 класс всех булевых функций f(x1,x2,...,xn), сохраняющих константу 0, то есть функций, для которых выполнено равенство f(0,0,...,0)=0. Очевидно,

что функции 0, x, x1 x2, x1 x2, x1 x2 принадлежат классу T0, а функции 1, x , x1 x2 в него не входят.

 Поскольку таблица для функций f(x1,x2,...,xn) из класса T0 в первой строке содержит фиксированное значение 0, то в T0 попадает 22n1 1 22n функций, т.е. ровно 2

половина всех булевых функций.

 Покажем, что T0 - замкнутый класс. Так как он содержит тождественную функцию, то для обоснования его замкнутости достаточно показать, что функция Ф=f(f1,...,fm) принадлежит классу T0, если только f, f1,..., fm  принадлежат этому классу. Ф(0,0,...,0)= f(f1(0,0,...,0),...,fm(0,0,...,0))= f(0,0,...,0)=0.

         Класс функций, сохраняющих константу 1

 Обозначим через T1 класс всех булевых функций f(x1,x2,...,xn), сохраняющих константу 1, то есть функций, для которых выполнено равенство f(1,1,...,1)=1. Этому

классу принадлежат функции 1, x, x1 x2, x1 x2, x1 x2 и не принадлежат функции 1, x , x1x2.

 Покажем, что класс T1 состоит из функций, двойственных функциям из класса T0 (говорят, что класс T1 двойственен классу T0).

            Пусть f(x1,x2,...,xn) принадлежит T1, т.е. выполняется равенство f(1,1,...,1)=1. Тогда,

воспользовавшись определением двойственной функции, получим:  f*(0,0,...,0)= f (0,0

,...,0)= f (1,1,...,1)=0. Это значит, что f*(x1,x2,...,xn) принадлежит классу T0.

         Из взаимной двойственности классов T0 и T1 следует, что T1 также является замкнутым классом и что он содержит столько же булевых функций, что и класс T0.

 

              Класс самодвойственных функций 

 Класс S включает в себя  все самодвойственные функции, то есть такие функции, для которых выполняется равенство: f(x1,x2,...,xn)=f*(x1,x2,...,xn). Очевидно, что функции x и

x самодвойственные (см. табл. 1.7). Менее тривиальным примером самодвойственной функции является функция h(x1,x2,x3)=x1x2 x1x3 x2x3. Покажем, что это действительно так.

Составим двойственную к h функцию h* и преобразуем ее:  h*(x1,x2,x3) = (x1x2) & (x1x3) & (x2x3) = (x1x2x3) & (x2x3) = x1x2 x1x3 x2x3 = h(x1,x2,x3).

                                                                                                                                                                                                         

                                 Для самодвойственной функции имеет место тождество: f (x1,...,xn)

f(x1,...,xn); иначе говоря, на наборах (1,...,n) и (1, ... ,n) , которые называются противоположными, самодвойственная функция принимает противоположные значения.  Отсюда следует, что самодвойственная функция полностью определяется своими

1 n

значениями на первой половине строк, которых для n переменных будет        2 . Поэтому 2

число     самодвойственных     функций,     зависящих     от     переменных     x1,...,xn,     равно

1 n

2   2n 22 2 .

 Докажем, что класс S замкнут. Поскольку он содержит тождественную функцию, достаточно показать, что функция Ф=f(f1,...,fm) является самодвойственной, если функции f, f1,..., fm самодвойственны. Последнее устанавливается непосредственно:  Ф*= f*(f1*,...,fm*)= f*(f1,...,fm)= f(f1,...,fm)= Ф. Класс монотонных функций 

 Для двух наборов ~ =(1,...,n)  и ~ =(1,..., n),  выполнено отношение предшествования ~p~ , если 11, ..., nn и хотя бы в  одной координате  i  выполнено условие i < i.

             Пример. (0, 1, 0, 1) p (1, 1, 0, 1), а наборы  (0, 1) и (1, 0) не сравнимы. 

 Очевидно, что отношение предшествования рефлексивно, антисимметрично, транзитивно и представляет собой, таким образом, отношение частичного порядка на множестве Bn=BB...B.

 Функция f(x1,...,xn) называется монотонной, если для любых двух наборов ~ и ~ таких, что ~p~ , имеет место неравенство: f(~ )f(~ ).

Например, функции 0, 1, x, x1x2, x1 x2 монотонные, а функции x , x1 x2, x1x2 монотонными не являются.

 Обозначим через M множество всех монотонных функций. Покажем, что класс монотонных функций замкнут. Поскольку тождественная функция принадлежит множеству M, то достаточно показать, что функция Ф=f(f1,...,fm)  является монотонной, если функции f, f1,..., fm монотонны.

       Пусть ~ и ~ - два набора длины n значений переменных x1,...,xn, причем ~p~ .

Так как  функции f1,..., fm монотонны, то выполняются соотношения fi(~ )fi(~ ) при 1 i

m, , поэтому набор (f1(~ ),..., fm(~ )) предшествует набору (f1(~ ),..., fm(~ )) или эти наборы равны.

            В обоих случаях в силу монотонности функции f справедливо неравенство:

f (f1(~ ),..., fm(~ ))   f (f1(~ ),..., fm(~ )), 

откуда следует, что Ф (~ )   Ф (~ ), т.е. Ф - функция монотонная. 

                                                                                                                                                                                                    

           Наборы ~ и ~ называются соседними по i-й координате, если 

~ =(1,..., i-1, i, i+1,... n), ~ = (1,..., i-1, i , i+1,... n).

Класс L линейных функций 

 Он содержит функции 0, 1, x, x , x1x2 и не содержит функций x1x2 и x1 x2. Выше было показано, что этот класс также замкнут. 

 Таблица 1 не содержит двух одинаковых столбцов. Это  хорошо иллюстрирует тот факт, что замкнутые классы T0, T1, S, M и L попарно различны (знак “+” здесь показывает, что функция содержится в классе, а “-” обозначает обратную ситуацию).

 

Таблица 1

f

T0

T1

S

M

L

0

+

-

-

+

+

1

-

+

-

+

+

x

+

+

+

+

+

x

-

-

+

-

+

x1&x2

+

+

-

+

-

x1 x2

+

+

-

+

-

 

Система функций {f1, f2,..., fk} называется функционально полной, если любая булева функция может быть записана в виде формулы через функции этой системы.

 

Теорема Поста — одна из центральных теорем в теории булевых функций, устанавливающая необходимое и достаточное условие для того, чтобы некоторый набор булевых функций обладал достаточной выразительностью, чтобы представить любую булеву функцию. Впервые сформулирована  американским математиком Эмилем Постом Теорема о функциональной полноте. Для того, чтобы система функций P была полной, необходимо и достаточно, чтобы она целиком не содержалась ни в одном из пяти замкнутых классов T0, T1, S, M и L.

Каждая функция из P2 может быть выражена при помощи полинома по модулю 2.

 

  

 Таким образом, существует целый ряд полных систем. Каждая из них может быть принята за множество элементарных функций. Какая из систем является более удобной, зависит от характера рассматриваемой задачи. 

Очевидно, что одну и ту же булеву функцию можно представить в виде различных логических формул.

            Пример.                         x | y = xy = x& y = (xy) x ~ y...

Следовательно, множество всех формул можно разбить на классы эквивалентности таким образом, что все формулы, входящие в один класс, соответствуют одной и той же булевой функции; поэтому если функции, соответствующие некоторым формулам, равны, то сами эти формулы называют эквивалентными. Запись = означет, что формулы и   эквивалентны.

 

 

2.Контрольные вопросы.

1.     Какие существуют классы Поста?

2.     Определения функций, принадлежащих различным классам Поста.

3.     Формулировка теоремы о функциональной полноте системы булевых функций

 

 

3.Задания.

 

 

Определить к каким классам Поста относятся булевы функции:

1в.

1.x y   x z 

2. z xz (yx)

     2в.  

1.      x y z 

2.      z  y      z       x

     

1.     x yz 

2.     z   y     z x

    4в. 

1.z  y   z  x

2. z  y z    x

1 . xyzx

2. z  y  z  x

 

1 . xyzy

2. (x y)x z 

 

 

    7в. 

 

1.   (x y)x z

2.   z  yz (yx)

 

         8в. 

1.  zxyx

2.z xz (yx)

 

 

      

1. x y z

3. xyzx

 

 

 

   10в. 

1. xyzx 3. x yz

 

 

     11в. 

1.   x yz  

2.   (x y)x z

 

12в.

1.zxyx

2. z yz (yx)

 

 

13в.

1.   xyz x

2.   z  yz (yx)

 

 

      14в 

1. x y   x z

2. z  yz (zx)

 

15в 

1.   (x y)x z

2.   z y  z(yx)

 

 

4.Отчет.

1. Тема. 2. Цель.

3.   Ответ на контрольные вопросы.

4.   Практическое задание.

 

Критерии оценивания практической работы. 

 

      За полностью выполненную практическую работу ставится «зачет». Если какие-либо задания не выполнены или выполнены неверно, то студент получает от преподавателя указания для выполнения этих заданий.

Практическая работа по предмету по предмету «Элементы математической логики»

Практическая работа по предмету по предмету «Элементы математической логики»

Класс функций , сохраняющих константу 0

Класс функций , сохраняющих константу 0

Для самодвойственной функции имеет место тождество: f ( x 1 ,

Для самодвойственной функции имеет место тождество: f ( x 1 ,

Так как функции f 1 ,..., f m монотонны, то выполняются соотношения f i (  ~ )  f i (  ~ )…

Так как функции f 1 ,..., f m монотонны, то выполняются соотношения f i (  ~ )  f i (  ~ )…

T 0 , T 1 , S , M и L .

T 0 , T 1 , S , M и L .

1.  z    y   z x  4в. 1.  z    y   z x …

1.  z    y   z x  4в. 1.  z    y   z x …

Отчет. 1. Тема. 2. Цель. 3

Отчет. 1. Тема. 2. Цель. 3

За полностью выполненную практическую работу ставится «зачет»

За полностью выполненную практическую работу ставится «зачет»
Материалы на данной страницы взяты из открытых истончиков либо размещены пользователем в соответствии с договором-офертой сайта. Вы можете сообщить о нарушении.
30.05.2018