1. To’gri tasdiqni toping: A) p⇔q = (p∧q)∨

1. To’gri tasdiqni toping:

A) p⇔q = (p∧q)∨(¬p∧¬q) B) p⇔q = (p∨q)∨(¬p∨¬q)

C) p⇔q = (p∧q)+(¬p∧¬q) B) p⇔q = (p∨q) ∧ (¬p∧¬q)

2. q ⇒ p mulohazaga mantiqiy teng kuchli mulohazani toping:

A) p⇒q; B) ¬q ⇒ p; C) q ⇒¬p; D) ¬(¬p ⇒ ¬q).

3. Mulohazalardan doimo rost bo’ladigan qiymatni toping.

A) p⇒(¬p∧q); B) p∧q ⇒ p∨q; C) (p ⇒ ¬q) ∨ (¬p ⇒ q). D) B) ¬q ⇒ p;

4. p⇒q mulohazani tabiiy tilda ifodalang:

A) p:quyosh yaraqlaydi, q:men cho‘milishga boraman; B) p: x son 6ga bo‘linadi, q: x -son juft;

C) p:muzlatgichda tuxumlar bor, D)q:Madina tort pishiradi.

5. Mulohazalarni simvolik shaklda ifodalang: p:yomg‘ir yog‘di, q:ko‘lmaklar paydo bo‘ldi;

A)yomg‘ir yog‘sa, ko‘lmaklar paydo bo‘ladi; B)ko‘lmaklar paydo bo‘ldi, demak yomg‘ir yog‘di;

C) ko‘lmaklar yo‘q; D)yomg‘ir yog‘madi;

6. p: “Anora kinofilmlarni ko‘p ko‘radi”; q: “Barno kinofilmlarni ko‘p ko‘radi”; r: “Barno imtihondan o‘ta olmaydi”; s: “mo‘jiza ro‘y beradi” mulohazalar berilgan bo‘lsin.

“Anora kinofilmlarni ko‘p ko‘radi, Barno esa yo‘q”. ni toping.

A) p∧ ¬q B) ⇒(¬p∧q C) ⇒(¬p∨q D) ¬q ⇒ p

7. Mantiqiy teng kuchli mulkohaza toping;

A) ¬(q ∧ ¬p)= ¬q ∧ (p∨q). B) ¬(p∨q)va ¬p ∧ ¬ C) ) ¬(q ∨¬p)= ¬q ∧ (p∨q).D)p⇒(¬p∨q

8. Mantiqiy teng kuchli mulkohaza toping;

A) ¬(¬p) = p B) ¬(p∨q)va ¬p ∧ ¬ C) ) ¬(q ∨¬p)= ¬q ∧ (p∨q).D)p⇒(¬p∨q

9.Taftalogiyani toping :

A) ¬p ∧ ¬q; B) (p∨q) ∨ ¬p; C) p ∧ ¬q D) p ∧ ¬q

10. p ∨ ¬q mulohaza p=rost va q= rost bo’lganda qanday qiymatga ega bo’ladi:

A) Rost B) yolg’on C) bir qiymatli emas D ) aniqlab bo’lmaydi.