Қазақстан республикасының білім және ғылым министірлігі

жүктеу 21,8 Mb.

бет	29/214
Дата	09.01.2018
өлшемі	21,8 Mb.
	#7265
түрі	Мазмұндама

1 ... 25 26 27 28 29 30 31 32 ... 214

; x₁  х₂ х₁ х₁

Шеффер және Веб функциялары үшін коммутативті (переместит) заң бар.

x₁  х₂ х₂ х₁

x₁  х₂ х₂ х₁

ассоциативті заң бұлар үшін орындалмайды.

x₁   х₂ х₃   х₁ х₂)  х₃

x₁   х₂ х₃   х₁ х₂)  х₃

Және мына заңдар орындалады.

Шеффер мен Веб функциялары бір-бірімен дизьюнкция мен коньюнкцияға арналған Морган заңдары сияқты заңдылықтармен байланысқан.

а) x₁  х₂

; в) x₁ х₂

Жалпылама формулалар. ,  операциялары ассоциативті болғандықтан

өрнектерінде жақша қоймауға болады. Бірінші өрнек көп мүшелі коньюнкция, екіншісі көпмүшелі дизьюнкция. Бұлар дистрибутивті заңға және Морган заңдарына бағынады:

Дистрибутивті заң:

(А₁  А₂  ...  А_к )  (В₁  В₂  ...  В_l ) ( А₁  В₁ )  ( А₁  В₂)  ... ( А₁  В_l) ( А₂  В₁ )  ( А₂  В₂)  ... ( А₂  В_l) 

... ... ... ...( А_к  В₁ )  ( А_к  В₂)  ... ( А_к  В_l) (А₁  А₂  ...  А_к )  (В₁  В₂  ...  В_l ) 

( А₁  В₁ )  ( А₁  В₂)  ... ( А₁  В_l)( А₂  В₁ )  ( А₂  В₂)  ... ( А₂  В_l) 

... ... ...( А_к  В₁ )  ( А_к  В₂)  ... ( А_к  В_l) 

Көп мушелі коньюнкция мен дизьюнкцияға да Морган заңдарын қолдануға болады.

1. (

)  (

)

2. (

)  (

)

3. x  х  ...  х х

4. x  х  ...  х х

5. x₁  х₂ ...  х_n 

6. x₁  х₂ ...  х_n 

жүктеу 21,8 Mb.

Достарыңызбен бөлісу:

1 ... 25 26 27 28 29 30 31 32 ... 214