Дәрістер тезистері

жүктеу 324,07 Kb.

бет	6/14
Дата	15.12.2023
өлшемі	324,07 Kb.
	#44759

1 2 3 4 5 6 7 8 9 ... 14

ДӘРІСТЕР ТЕЗИСТЕРІ

6 дәріс Логикалық эквиваленттіліктер және олардың қолданылуы. Дизъюнктивті және конъюнктивті қалыпты формалар. Логикалық амалдардың толықтығы.

5 . Анықтама. Эквиваленция А мен В пікірлерінің ақиқаттық мәндері бірдей болғанда, мәндері ақиқат, әр түрлі болғанда (А,В) жалған болатын айтылым эквивалентті пікір деп аталады. Белгілеулері: А В; А В; А В; А эквивалентті В-ға; Егер тек В болғанда А ; А мен В бір мәнді, А мен В сонда ғана ақиқат, егер А, В тұжырымдарының екеуі де не ақиқат, не жалған болса болып оқылады.

2
6	№ 6 дәріс Логикалық эквиваленттіліктер және олардың қолданылуы. Дизъюнктивті және конъюнктивті қалыпты формалар. Логикалық амалдардың толықтығы. 1. Коньюнкция мен дизьюнкцияның ассоциативтілігі а) x₁(x₂x₃)=(x₁x₂)x₃=x₁x₂x₃; б)x₁(x₂x₃)=(x₁x₂)x₃=x₁x₂x₃ 2. Коньюнкция мен дизьюнкцияның коммутативтілігі а) x₁x₂=x₂x₁; б)x₁x₂=x₂x₁ 3.Коньюнкцияның дизьюнкцияға қатысты дистрибутивтілігі (Дизьюнкцияның коньюнкцияға қатысты дистрибутивтілігі). а) x₁(x₂x₃)=(x₁x₂)x₁x₃; б) x₁(x₂x₃)=(x₁x₂)x₁x₃ 4. Идемпотенттілік а) x xх; б) xx  х 5. Қос терістеу заңы.  6. 0 мен 1 константаларының қасиеттері: а) x1х ; в) xx1; д) 1; б) x00 ; г) x0х ; е) ; 7. Морган заңдары: а) ; б) Қарама- қарсылық заңдары: а) 0 ( ж) б) 1 ( а) Бұл негізгі эквиваленттік қатынастардың ерекшелігі, олар бір –бірінен шықпайды, олардың дұрыстығына, стандартты әдіспен ғана (ақиқат тық кесте) көз жеткізуге болады. Жалпылама формулалар. ,  операциялары ассоциативті болғандықтан өрнектерінде жақша қоймауға болады. Бірінші өрнек көпмүшелі коньюнкция, екіншісі көпмүшелі дизьюнкция. Бұлар дистрибутивті заңға және Морган заңдарына бағынады: Дистрибутивті заң: (А₁ А₂ ...  А_к )  (В₁ В₂ ...  В_l ) ( А₁ В₁ )  ( А₁ В₂)  ... ( А₁ В_l) ( А₂ В₁ )  ( А₂ В₂)  ... ( А₂ В_l)  ... ... ... ...( А_к В₁ )  ( А_к В₂)  ... ( А_к В_l) (А₁ А₂ ...  А_к )  (В₁ В₂ ...  В_l )  ( А₁ В₁ )  ( А₁ В₂)  ... ( А₁ В_l)( А₂ В₁ )  ( А₂ В₂)  ... ( А₂ В_l)  ... ... ...( А_к В₁ )  ( А_к В₂)  ... ( А_к В_l)  Көпмүшелі коньюнкция мен дизьюнкцияға да Морган заңдарын қолдануға болады. 1. ( )  ( ) 2. ( )  ( ) 3. xх  ...  х х 4. xх  ...  х х 5. x₁х₂ ...  х_n 6. x₁х₂ ...  х_n	2
7	№ 7 дәріс

жүктеу 324,07 Kb.

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

1 2 3 4 5 6 7 8 9 ... 14