Algoritimlash Masul shaxslar: Elmurotov R, Xayitmurodov L

Arifmetik amallar. Jegalkin ko‘phadi.
Mantiqiy amallarni arifmetik amallar orqali
ifodalash. Chiziqli funksiya.
)
272.
Berilgan funksiyaning Jegalkin ko’phadini
aniqlash. ( Arifmetik amallar. Jegalkin
ko‘phadi. Mantiqiy amallarni arifmetik
amallar orqali ifodalash. Chiziqli funksiya.
)
273.
Bul funksiyalar sistemasining to’liqligi va
yopiqligi.( To‘liq funksiyalar sistemasi.Yopiq
sinflar.Post teoremasi. To‘plam yopig‘i. Post
jadvali.)
274.
Bul algebrasida muhim yopiq sinflar. ( To‘liq
funksiyalar sistemasi.Yopiq sinflar.Post
teoremasi. To‘plam yopig‘i. Post jadvali.)
275.
Post teoremasi va uning tadbiqi.( Yopiq
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))
.