Интеграл логических функций от двух переменных, страница 11

                                                                                               Окончание таблицы 2

x1

x2

x3

f253

f254

f255

0

0

0

1

1

1

0

0

1

1

1

1

0

1

0

1

1

1

0

1

1

1

1

1

1

0

0

1

1

1

1

0

1

1

1

1

1

1

0

0

1

1

1

1

1

1

0

1

Найдем дифференциал логических функций только от трех переменных для заданных операций:

 


                          ¶f1                      ¶f1                             ¶f1                         ¶f1

f1 = x1&x2&x3;  ___    = x1&x2;  ___         = 0;   __        = 1;  ___        = x1&x2;

                          ¶х3   Ú                ¶х3      &          ¶х3   ®         ¶х3      Å

           

                    _     ¶f2                      ¶f2                            ¶f2                _       _         ¶f2

f2 = x1&x2&x3;  ___    = x1&x2;  ___         = 0;   __        = x1Úx2;  ___        = x1&x2;

                          ¶х3   Ú                 ¶х3      &         ¶х3   ®                 ¶х3      Å

 

             _           ¶f4               _     ¶f4                            ¶f4                           ¶f4                           _

f4 = x1&x2&x3;  ___    = x1&x2;  ___        = 0;   __        = 1;  ___        = x1&x2;

                          ¶х3   Ú                ¶х3     &          ¶х3   ®          ¶х3      Å


Таблица интегралов от двух переменных для операций дизъюнкция, конъюнкция, импликация и  сложение по модулю два.

                                                                                                                                                          Таблица 1

Операция

Интеграл

Ú

&

®

Å

ò (x1&x2)dx3

 _

ò (x1&x2)dx3

_               _

ò (x1&x2Úx1&x2) dx3

ò (x1Úx2) dx3

Продолжение таблицы 1

_     _

ò (x1&x2) dx3

_    _

ò (x1&x2Úx1&x2) dx3

_

ò (x1Úx2) dx3

_   _

ò (x1Úx2) dx3