 ; x 1 х 2 х1 х1
Шеффер және Веб функциялары үшін коммутативті (переместит) заң бар.
x 1 х 2 х2 х1
x 1 х 2 х2 х1
ассоциативті заң бұлар үшін орындалмайды.
x 1 х 2 х3 х 1 х2 ) х3
x 1 х 2 х3 х 1 х2 ) х3
Және мына заңдар орындалады.
Шеффер мен Веб функциялары бір-бірімен дизьюнкция мен коньюнкцияға арналған Морган заңдары сияқты заңдылықтармен байланысқан.
а) x 1 х 2  ; в) x 1 х 2 
Жалпылама формулалар. , операциялары ассоциативті болғандықтан   өрнектерінде жақша қоймауға болады. Бірінші өрнек көп мүшелі коньюнкция, екіншісі көпмүшелі дизьюнкция. Бұлар дистрибутивті заңға және Морган заңдарына бағынады:
Дистрибутивті заң:
(А1 А2 ... Ак ) (В1 В2 ... Вl ) ( А1 В1 ) ( А1 В2) ... ( А1 Вl) ( А2 В1 ) ( А2 В2) ... ( А2 Вl)
... ... ... ...( Ак В1 ) ( Ак В2) ... ( Ак Вl) (А1 А2 ... Ак ) (В1 В2 ... Вl )
( А1 В1 ) ( А1 В2) ... ( А1 Вl)( А2 В1 ) ( А2 В2) ... ( А2 Вl)
... ... ...( Ак В1 ) ( Ак В2) ... ( Ак Вl)
Көп мушелі коньюнкция мен дизьюнкцияға да Морган заңдарын қолдануға болады.
1. ( ) ( )
2. ( ) ( )
3. x х ... х х
4. x х ... х х
5. x 1 х2 ... хn 
6. x 1 х2 ... хn 
Достарыңызбен бөлісу: | 
