Лекции::

Дополнительно:

Закон двойственности

                                   { ImageImage Image Image Image ImageImageImage },   { 0, 1, x Image y },   { 0, 1, xy }. 

            Для проверки систем на полноту удобно пользоваться следующей таблицей Поста                           

           f

 TImage

  TImage

   S

   L

  M

          Image

  -

   -

   +          

   +

   -

          xy

  +

   +      

   -

   -

   +

        xImage y

   +

   +

   -

   -

   +

           1

   -

   +

   - 

   +

   +

           0

   +

   -

   -

   +

   +

       x Image y

   +

   -

   -

   +

   -

        x “ y

   -

   -

   -

   -

   -

        x  y

   -

   -

   -

   -

   -

     xImageyImagez

   +

   +

   +

   +

   -

        x ’ y

   -

   +

   -

   -

   -

 ImageImageImageImageImageImageImageImage

   -

   -

   +

   -

   -

            Определение. Пусть К – некоторое подмножество функций из Р2. Замыканием множества К называется множество всех логических функций, представимых в виде формул через функции множества К. Замыкание множества К обозначается [K].

предыдущаяследующая