Matematik mantiq 4-kurs (quqon)

6-variant
1.Mantiq qonunlari nimaga mos keladi
a) Qaramaqarshilikga b) Tavtologiyaga c) Ziddiyatga d) Ixtiyoriy formulaga
2.Mulohazalar algebrasi alfaviti nimalardan iborat
a)formulalrdan b)aynan rost formulalardan c) mulohazaviyo`zgaruvchi, amal belgilari, qavslardan d)istalgan belgilardan
3.|a| > 3 (а, b  R) ifodani mantiqiy tildа yozing
a) b) , c) , d)
4.Formulani ko`rsating
a) (A( BC)) (( AB(AC)) b) (A( BC)) (( AB) AC)
c) (ABC) (( AB) (AC)) d) (A( BC)) (( AB) (AC))
5.Fomulani toping
a) A⩗¬B⩘CD<=>¬D b) A⩗¬B⩘C(D<=>¬(D)) C
c) AB(AB) d) AB¬(AB)
6.Inkor amali ta`rifini toping: 1. A mulohaza inkori deb. 2. A rost bo`lganda reost bo`luvchi. 3. A rost bo`lganda yolg`on bo`luvchi. 4. va A yolg`on bo`lgada rost bo`luvchi. 5. va A yolg`on bo`lgada yolg`on bo`kulchi.6.mulohazaga aytiladi.
a) (1256) b) (1346) c) (1246) d) (1326)
7.Teoremani toping
a) A⩗B b) A⩘A c) A=>A d) A<=>¬A
8.Mulohazalr hisobi formulalari to`plamida ekvivalentlik munosabati qanday xossalarga ega
a) refleksivlik,simmetriklik,tranzitivlik b) zidsizlik, tolalik, erklilik
c) zidsizlik, erklilik d) zidsizlik, tolalik,
9.(¬A¬B)(BCA⩘C) formulani MKNSH ga keltiring.
a) 1 b) (¬A⩗¬B⩗C) (¬A⩗¬B⩗¬C)
c) (¬A⩗¬B⩗C) (¬A⩗B⩗¬C) d) (¬A⩗¬B⩗C) (¬A⩗¬B⩗C)
10.Aynan yolg’on formula ta’rifini tiklang: 1.Formula aynan yolg’on 2.barcha naborlarida 3.mulohazaviy forma 4.kamida bitta naborida 5.formula 6.deyiladi, agar o’zgaruvchilar 7.yolg’on 8.rost 9.qiymat qabul qilsa
a) (14627) b) (15627) c) (16327) d) (15367)

11.Teng kuchli formulalar ta’rifini tiklang: 1.A  V agar 2.A aynan rost 3.A aynan yolg’on 4.o’zgaruvchilar qiymatlarining 5.ayrim naborlarida 6.rost 7.bir xil 8.qiymat qabul qilsa 9.barcha naborlarida 10. Turli

a) (15368) b) (16728) c) (14782) d) (14978)

12.Keltirilgan formula ta’rifini tiklang: 1.A - keltirilgan formula 2.,  3.agar tarkibida 4.qatnashgan 5., ,  6.faqat 7.bo’lib 8.inkor o’zgaruvchilarga tegishli bo’lsa 9.kamida 10., ,  11. Operatsiyalar

a) (1,3,6,10,4,7,8) b) (1,3,6,2,4,7,8) c) (1,3,6,5,4,7,8) d) (1,3,6,2,5,4,8)

13. DNF-ta’rifi: 1.DNF- 2.elementar 3.diz’yunksiyalarning 4.ekvivalensiyalarning 5.kon’yunksiyalarning 6.diz’yunksiyasi

a) (1.2.3.6.4.) b) (1.2.5.6) c) (1.2.3.6) d) (1.3.6)
14.Quyidagi ifodalarning qaysi biri ta`rifga ko’ra formula bo’ladi.
a) b)
c) d)
15. formulaga teng kuchli formulani toping
a) b)
c) d)