1 тарау. ТҰжырымдар алгебрасы 5

Логикалық байланыстардың толық жүйелері

жүктеу 1,18 Mb.

бет	15/34
Дата	16.01.2022
өлшемі	1,18 Mb.
	#32886

1 ... 11 12 13 14 15 16 17 18 ... 34

Дип.-ТҰЖЫРЫМДАР-АЛГЕБРАСЫ

Тақырып бойынша тесттер

_{1.14 Логикалық байланыстардың толық жүйелері}

₁, ₂, …, _n логикалық амалдардың символдары болсын. Егер тұжырымдар алгебрасының кез келген формуласы үшін оған пара-пар ₁, ₂, …, _n амалдарының көмегімен құрылған формула бар болса, онда <₁, ₂, …, _n> жүйе толық деп аталады.

Тұжырымдар алгебрасының кез келген формуласы үшін оған пара-пар ДНФ және КНФ болғандықтан, <, ,  > – толық жүйе екендігі түсінікті.

Лемма 9.1 Логикалық байланыстардың келесі жиындары:

<, , ,  >, <,  >, <,  >, <, >

толық жүйе құрайды.

Лемма 9.2 <, ,  >, < > жиындары логикалық амалдардың толық жүйесін құрмайды.

Тақырып бойынша тесттер

1. Келесі импликациялардың қайсысы жалған?

1) егер 22=4, онда 2>3;

2) егер 22=4, онда 2<3;

3) егер 22=5, онда 2<3;

4) егер 22=5, онда 2>3;

2. Келесі сөйлемдердің қайсысы тұжырым болмайды?

1) «Информатика» кафедрасының студенті.

2) Париж – Испания астанасы.

3) 3 саны А жиынына тиісті.

3. Айнымалылардың қайсылары бір бірінің терістеулері болады:

1) 2>3, 23;

2) 6<9, 6>9;

3) f функциясы жұп, f функциясы тақ;

4) ABC үшбұрышы тікбұрышты, ABC үшбұрышы – тең бүйірлі.
4. AB тұжырымы ақиқат болсын. (AB )  ( AB ) тұжырымы қандай логикалық мәнге ие болады?

1) ақиқат

2) жалған
5.  (PQ )  ((PQ ) P) формуланы ықшамдаңыз:

1) 1

2) 0

3) Р

4) Q
_6._{Келесі өрнектердің қайсысы}_формул_{а болады}_?:

_{1) ((}_P_₍__Q__R₎₎_₍₍__P_~_R₎__Q₎₎

_{2) ((}_P__Q₎_R₎__S
_{7. КНФ-}_{ті табыңыз}_:__(x__{z )}__(x__y)

₁₎__x(_y__z)

_{2) (}_x__y₎₍_y__z₎

₃₎_y__z
_{8. 0}_{мәнді айнымалылардың тек}_(0,0)_{мәндер тобында қабылдайтын}_{дизъюнктив}_{ті бірмүшені құрыңыз}:

1) xy

2) xy

3) xy

4) x y
_9. _{формулаға пара}_-_{пар тек} _және _{амалдары көмегімен құрылған формуланы табыңыз:}

1) (xyz )

2) xy
10. ДНФті табыңыз: (x~y)  ( zT )

1) (xyzT)  (xyzT);

2) x yz

жүктеу 1,18 Mb.

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

1 ... 11 12 13 14 15 16 17 18 ... 34