1-mustaqil topshiriq. Quyidagi berilgan topshiriqlardan har biri ichidan kamida 2 tadan misolni amaliy mashg’ulotda ko’rsatilgan namunaga asoslanib bajaring va ixtiyoriy formada(rasm, pdf, word,…) jo’nating
Download 270.77 Kb. Pdf ko'rish
|
1 mustaqil topshiriq
|
1-mustaqil topshiriq. Quyidagi berilgan topshiriqlardan har biri ichidan kamida 2 tadan misolni amaliy mashg’ulotda ko’rsatilgan namunaga asoslanib bajaring va ixtiyoriy formada(rasm, pdf, word,…) jo’nating. 1.14. Қуйидаги белгилар кетма-кетлигига мумкин бўлган ҳолларда қавсларни қўйиб формула ҳосил қилинг. а)
R S ; б) Р Q R
Р R ; в)
Р Q R
; г)
Р
Q R Q ; д)
R Q
. 1.16. Қуйидаги формулаларнинг ҳар бири учун ростлик жадвалини тузинг. Улардан қайси бири бажарилувчи, айнан рост (тавталогия) , инкор қилинувчи ва айнан ёлғон (қарама-қаршилик) формула эканлигини кўрсатинг: а)
(( Р Q Р )
Р ;
б) ) Р Q Р Q ; в) ( (
Q ))
(( Р ) )
Q Р Q
; г)
((Р ) ) Q Q Р Q ; д) ( (
Q Р
Q ; е) Р Q Q Q ; ж) ((Р ) ) ( Q Q
) Р Q . 1.19. Ростлик жадвалини тузиш ёрдамида қуйидаги формулаларнинг айнан рост (тавтология) эканлигини исботланг. а)
Р Q Р ; б) Р Q Р Q R Р R ; в) ( ( ) Р Q Р Q ; г) ( ) Р Р Q ; д) ( ) Р Q Р ; е) ( ( )) ( ) Р Q R Р Q Р R ; ж) ( ( Р Q Р ))
; з)
( (( ) ))
R Q R Р Q R (бу тавтология одатда “холатларни таҳлил қилиш” деб аталади); и)
(( Р Q Р )
к) Р Р ; л) Р Q Q Р ;
м) ( ( ))
Q Q Р Р Q ; н) Р Q Р Р ; о) ( ) Р Q Р Q ;
п) (( ) ( ) Р R Р Q R Q ; р)
Р Q R Р Q Р R ; с) 1 2 1 2 (( ) )
F G F F G ; т)
1 2 1 2 ... .. ( (( . ...
) )
m F F F G F F F G ; у) Р Q R Q Р R . 1.28. Тенг кучли алмаштиришлар ёрдамида куйидаги формулаларни иложи борича содда кўринишга келтиринг: а)
) (( ) )
Р Q Р ; б)
( Р
) ( )
Р Q Р ; в)
( ) Р Q Q Р Р Q ; г)
( Р Q Q ) Р R Р ; д) (
) (
Р ) ( ) (
Q R )
;
( (
Q Q ))
1.29. Қуйидаги формулаларни шундай тенг кучли алмаштирингки, натижадаги формулада фақат ва
мантиқий амаллар иштирок этсин: а) ( )
X Y ) X Z ; б) (
)
Y
Y ; в) (( ) ) X Y Z X Z
; г)
X Y Z X ; д) ( ) X Y Z X ;
формулада фақат ва мантиқий амаллар иштирок этсин: а)
( )
Y Y Z ;
б) (
X ) ( )
X Y ; в) ((
X ) )
( Y Z Z ) Y ;
г) (( ( )) ( X Y Z Y )) X Y ; д) ( ) X Y Y Z X Z .
келтиринг: а)(
) ( ) X Z Y Z ;
б)( ) ( ) X Y Y Z ;
в) ( ) X Y Z ; г)
) ( ) (X Y Z T ; д) ((X ) ) (
Z )
Z ; е) (( ) ( )) (
Y X Z ( Y Z ) Y ;
ж) X Y Z
; з) (
) ( ) ( )
Y Z X T Z T
;
и) (X )
Y
) (
Y ) (
Z X ) ( Z Y ) (
)
Z ; к) ( ) ( ) ( )
X Y Y Z Z T ;
л) X Y Z S T
. 2.2. Тенг кучли алмаштиришлар ёрдамида қуйидаги формулаларни ТКНФ га келтиринг: а) (
( )
Z Y Z ;
б) ( )
Y Z ; в) (
) ( ) X Y X Z ; г) ( ) ( ) X Y Z T ;
д) ( )
Y Z T
;
е) X Y Z
; ж)( ) ( ) ( ) X Y Y Z Z T ; з) (
Y
) Z T ; и) ( ) X Y Z ; к) X YZ T
л) ( X ) ( Y
) X Y Z
Z . 2.8. ТДНФ ни қўллаб, қўйидагида берилган ўзгарувчилар қийматларининг танланмаларида ва фақат шуларда 1 киймат қабул қилувчи формулани топинг: a)
0,0
1,1 1
F ;
б)
1,0 1
;
в) 0,1,0
1,0,1 1,1,1
1 F F F ;
г) 0,1,1
1,1,0 1
F ; д) 1,0,0
0,1,0 0,0,1
1 F F F ; е) 0,1,1 1,0,1 1,1,0
1,1,1 1
F F F ; ж) 0,0,0
0,1,0 1,1,1
1 F F F ; з) 0,1,0,1
1,0,1,0 1,0,0,0
1,1,1,0 1,1,1,1
1 F F F F F 2.10. ТКНФ ни қўллаб, қуйидаги берилган ўзгарувчилар қийматларининг танланмаларида ва фақат шуларда 0 қиймат қабул қилувчи формулани топинг: a)
0,1
1,1 0
F ; б) 0,1 0
;
в) 0,1,1 0
;
1,0,0
1,0,1 0
F ; д) 0,1,1 0,0,0 0,1,0
0 F F F ; е) 1,1,1 0,0,1 1,1,0
1,0,0 0
F F F ; ж) 0,0,0
0,1,0 1,1,1
1 F F F ; з) 1,1,0,1 0,0,1,0 1,0,1,0
0,0,1,1 0,0,0,0
0 ( ) F F F F F 2.11. Қуйида келтирилган ҳар бир мулоҳазалар алгебраси формулалари учун уларнинг ростлик жадвали ёрдамида ТДНФини топинг: а)
) X Y ( ) X Y ;
б) X Y ; в) ( )
Y Z ;
г) (
)
( X Z X ) Y ; д) ( ( ( ))) X Y Z X Y ; е) ((X ) )
Z T ; ж) (
(( ) )) X Y Z T T . 2.12. Қуйида келтирилган ҳар бир мулоҳазалар алгебраси формулалари учун уларнинг ростлик жадвали ёрдамида ТКНФини топинг: а)
) X Y ( ) X Y ;
б) X Y ; в) ( )
Y Z ;
г) (
)
( X Z X ) Y ; д) ( ( ( ))) X Y Z X Y ; е) ((X ) )
Z T ; ж) (
(( ) )) X Y Z T T .
Download 270.77 Kb. Do'stlaringiz bilan baham: 
|