Абибилла Ақерке ис 21-14
жүктеу/скачать 0,54 Mb.
|
Абибилла Ақерке 1
| 3.4. ЛОГИКА АЛГЕБРАСЫ
1. Логика алгебрасының функциялар Айталық U-{u1,и2,...,иm,...} - айнымалылардың бастапқы алфавиті болсын. Аргументтері E2={О,1} жиынында анықталған және аiÎЕ2(і = 1,2,...,n), егер аiÎЕ2(і = 1,2,...,п) шартын қанағаттандыратын ƒ(u ,u ,…,u ) функциялары қарастырылады. Бұл функциялар логика алгебрасыныц функциялары немесе буль фунщиялары деп аталады. Р2 арқылы U алфавитінде берілген, сондай-ақ 0 және 1 тұрақтыларын қамтитын барлық логика алгебрасының функциялар жүйесін белгілейміз. Теорема. х1,х2,...,хn п айнымалыға тәуелді Р2 жиынындағы барлық функциялар саны P2 (n) - 22 -ге тең. Логика алгебрасы функцияларың мысалдары: ƒ1(x) =0 -тұрақты 0 ƒ2(x) =1-тұрақты 1; ƒ3(x)=x –тепе-тең функция; ƒ4(x)= - х -ті жоққа шығару; ƒ5(x1,x2)= (x1&x2) - x1 мен x2 –нің конъюнкциясы (логикалық көбейту); ƒ6(x1,x2)= (x1∨x2) - x1 мен x2 –нің дизъюнкциясы (логикальщ қосу); ƒ6(x1,x2)=Бұл функциялардың мәні. xx 0 0
11
xx
00
11 00
11 11
00 11
11 00
x1 x2 (х1&х2)
(x1∨x2)
(х1→х2)
(x1Åx2)
(x1\x2)
(x1 ~x2)
(х1↓x2)
0 0
0 1
0
0
0 1
1 1
0 1
1 1
1 0
1 0
0 1 0
1 0
1 1 0 0 1 1 1 1 1 0 0 1 0 жүктеу/скачать 0,54 Mb. Достарыңызбен бөлісу:
|