Теория автоматов. Аралбаев Т.З - 10 стр.

UptoLike

ВУЗ: 

ОГУ | Оренбург

Составители: 

Рубрика: 

10
В общем случае СДНФ можно представить в следующем виде:
0,
1,
);,....,,....,,(),...,,...,,(
~
~~~
2
~
1
1
21
ii
ii
i
nini
xеслиx
xеслиx
x
г деxxxxxxxxF
Например, двоичному набору 1010 соответствует ЭК
4321
xxxx
.
СКНФ логической функции - это конъюнкция конституент нуля,
соответствующих входным наборам, для которых функция равна нулю.
В общем случае СКНФ можно представить в форме:
1,
0,
);,....,,....,,(),...,,...,,(
~
~~~
2
~
1
0
21
ii
ii
i
nini
xеслиx
xеслиx
x
г деxxxxxxxxF
Например, двоичному набору 1010 соответствует ЭД:
.
4321
xxxx
Алгоритм перехода от таблицы истинности логической функции к ее
записи в виде СДНФ имеет следующий вид:
1) выбрать в ТИ такие входные наборы, на которых функция обращается в
единицу;
2) записать конституенты единицы для выбранных входных наборов;
3) полученные конституенты единиц соединить между собой знаками
дизъюнкции.
Например, для логической функции, представленной в таблице истинности
1.1, СДНФ имеет следующий вид:
321321321321321
xxxxxxxxxxxxxxxY
Алгоритм перехода от табличного задания логической функции к ее записи
в виде СКНФ имеет следующий вид:
1) выбрать в ТИ такие входные наборы, на которых функция имеет
нулевые значения;
2) записать конституенты нуля для выбранных входных наборов;
3) полученные конституенты соединить между собой знаками
конъюнкции.
Например, для логической функции, представленной в таблице истинности
1.1, СКНФ имеет следующий вид:
321321321
xxxxxxxxxY 
      В общем случае СДНФ можно представить в следующем виде:
                                                    ~   ~         ~        ~
              F ( x1 , x2 ,..., xi ,..., xn )   ( x1 , x2 ,...., xi ,...., xn ); г де
                                                1

              ~     xi , если xi  1
              xi  
                    xi , если xi  0

       Например, двоичному набору 1010 соответствует ЭК x1 x2 x3 x4 .
       СКНФ логической функции - это конъюнкция конституент нуля,
соответствующих входным наборам, для которых функция равна нулю.
       В общем случае СКНФ можно представить в форме:
                                                    ~    ~        ~        ~
               F ( x1 , x2 ,..., xi ,..., xn )  ( x1 , x2 ,...., xi ,...., xn ); г де
                                                0

               ~     xi , если xi  0
               xi  
                     xi , если xi  1

       Например, двоичному набору 1010 соответствует ЭД: x1  x2  x3  x4 .
       Алгоритм перехода от таблицы истинности логической функции к ее
записи в виде СДНФ имеет следующий вид:
       1) выбрать в ТИ такие входные наборы, на которых функция обращается в
единицу;
       2) записать конституенты единицы для выбранных входных наборов;
       3) полученные конституенты единиц соединить между собой знаками
дизъюнкции.
       Например, для логической функции, представленной в таблице истинности
1.1, СДНФ имеет следующий вид:

                    Y  x1 x2 x3  x1 x2 x3  x1 x2 x3  x1 x2 x3  x1 x2 x3

       Алгоритм перехода от табличного задания логической функции к ее записи
в виде СКНФ имеет следующий вид:
       1) выбрать в ТИ такие входные наборы, на которых функция имеет
нулевые значения;
       2) записать конституенты нуля для выбранных входных наборов;
       3) полученные конституенты соединить между собой знаками
конъюнкции.
       Например, для логической функции, представленной в таблице истинности
1.1, СКНФ имеет следующий вид:

                               Y  x1 x2 x3  x1 x2 x3  x1 x2 x3




10

Страницы