Algoritimlash Masul shaxslar: Elmurotov R, Xayitmurodov L

sinflar. Xususiy funksional, maksimal

funksional yopiq sinf. Post teoremasi.

To‘plam yopig‘i. Post jadvali.)

276.

Mulohazalar algebrasining aynan chin va

aynan yolg’on formulalari.( aynan chin,

aynan yolg’on formulalar. tavtalogiya)

277.

Konstantalarni saqlovchi funksiyalar

sinfi.(nol saqlovchi, bir saqlovchi, monoton

funksiyalar)

278.

Mulohazalar algebrasida chiziqli funksiyalar

sinfi.(Chiziqli funksiyalar sinfi, Jigalkin

ko’phadi)

279.

Predikatlar va ular ustida mantiqiy amallar

bajarish.(Kvantor amallari. Teng kuchli

formulalar)

280.

Predikatlar algebrasida ba’zi bir

formulalarning teng kuchliligini isbotlash.

281.

Quyidagi formulani deyarli normal shaklga

keltirish jarayonini bayon eting:

x(A(x)xC(x))x(C(x)A(x));

282.

Berilgan formulaning chinlik to’plamini

tuzish jarayonini bayon eting:

A(x) B(x)C(x) formuladagi

predikatlar quyidagicha berilgan:

A(x) : 2x 3(x 1) 1;

( ) : 2 (4 4 1) 0; 1 2 B x x x x

sin 1 1;

2

5

(x) : sin2 C x x 

283.

Quyida berilgan funksiyalar sistemasi uchun

Post jadvalini hosil qilishni bayon eting:

{( ) ( ); 1 2 2 3 F x x x x

( ) ( );} 2 1 2 2 x x x x

284.

Berilgan formula uchun Jegalkin ko’phadini

tuzish jarayonini bayon eting: F=

(xy)(xz ~ (xy))

285.

Quyidagi munosabat ayniyatmi?

x[A(x) B(x)] xA(x) xB(x) .

286.

Quyidagi munosabat ayniyatmi?

xA(x) xB(x) x[A(x) B(x)].

287.

x(P(x)Q(x))xP(x) xQ(x)

formula umumqiymatlimi?

288.

( ( )) ( ( )) 1 1 x q P x q xP x formula

umumqiymatlimi?

289.

( ( ) ( )) ( ( ) ( )) 1 2 1 2 xP x xP x x P x P x

formula umumqiymatlimi?

290.

M {1,2,3,...,20} to‘plamda A(x) : « x son

5 ga qoldiqsiz bo‘linmaydi»; C(x) : « x –tub

son». Quyidagi predikat uchun chinlik

to‘plamni aniqlang: C(x)A(x) ;

291.

M {1,2,3,...,20} to‘plamda C(x) : « x –

tub son»; D(x) : « x 3 ga karrali» predikatlar

berilgan. Quyidagi predikat uchun chinlik

to‘plamni aniqlang: D(x)C(x) ;

292.

M {1,2,3,...,20} to‘plamda A(x) : « x son

5 ga qoldiqsiz bo‘linmaydi»; C(x) : « x –tub

son»; D(x) : « x 3 ga karrali» predikatlar

berilgan. Quyidagi predikat uchun chinlik

to‘plamni aniqlang: (A(x) C(x))D(x) .

293.

M {1,2,3,...,20} to‘plamda A(x) : « x son

5 ga qoldiqsiz bo‘linmaydi»; C(x) : « x –tub

son»; D(x) : « x 3 ga karrali» predikatlar

berilgan. Quyidagi predikat uchun chinlik

to‘plamni aniqlang: (A(x) D(x))C(x) .

294.

Quyidagi funksiyaning diz’yunktiv normal

shaklini toping:

( )( )( ) 1 2 3 1 2 3 2 3 x x x x x x x x ;

295.

Quyidagi funksiyaning diz’yunktiv normal

shaklini toping:

( )( )( ) 1 4 2 3 4 1 2 3 x x x x x x x x ;

296.

Quyidagi funksiyaning diz’yunktiv normal

shaklini toping:

( )( )( ) 1 2 3 1 4 2 3 4 x x x x x x x x .

297.

Mulohazalar algebrasining quyidagi formulasi

uchun mukammal dizyunktiv normal shaklni

aniqlang: (abbc)(abca) ;

298.

Mulohazalar algebrasining quyidagi formulasi

uchun mukammal dizyunktiv normal shaklni

aniqlang:

((x y)(z x))((xy)(z x))

.

299.

Mulohazalar algebrasining quyidagi formulasi

uchun mukammal konyunktiv normal shaklni

aniqlang: (abbc)(abca) ;

300.

Mulohazalar algebrasining quyidagi formulasi

uchun mukammal konyunktiv normal shaklni

aniqlang:

((x y)(z x))((xy)(z x))

.