приложение к му по мл заочн ивт 2016

1. 1
ПРИЛОЖЕНИЕ
Варианты контрольных работ
з15ИВТ1 Вар
Андрюхин М.Ю. 401
Гапонов О.А. 402
Константинов А.А. 403
Лесников И.И. 404
Назарян А.И. 405
Петрунин В.А. 406
з15ИВТ2
Аверкин П.А. 407
Бакаева М.Н. 408
Казакова Е.А. 409
Кирдан А.В. 410
Киреев А.И. 411
Клыпо И.А. 412
Лобырев Д.В. 413
Мирошникова А.С. 414
Небогина С.А. 415
Никулин И.Ю. 416
Прилепов А.В. 417
Самохин Н.С. 418
Сиваков С.А. 419
Стешин М.А. 420
Тюев С.С. 421
Федькин 422
Ханенко М.В. 423
Шишов Д.П. 424
Щемелинин С.Д. 425
Ярослав О.В. 426
резерв 427
резерв 428
резерв 429
резерв 430
резерв 431
резерв 432
резерв 433
резерв 434
резерв 435
резерв 436

2. 2
Вопросы к экзамену по математической логике
1. Что такое БФ и как выглядят таблицы истинности шести важнейших БФ?
2. Как выразить дополнительные логические операции (БФ) через основные?
3. Каковы основные шаги алгоритма преобразования формулы в СДНФ?
4. Что такое двойственная БФ (с примером), самодвойственная БФ?
5. Что такое СКНФ и как получить её, используя двойственность?
6. Что такое многочлен Жегалкина и что Вы знаете о представимости БФ в этом виде?
7. Как сравниваются двоичные наборы в математической логике, что такое монотонная
БФ и как практически проверить монотонность?
8. Какие пять основных ФЗК вы знаете (с расшифровкой)?
9. В чем состоит теорема Поста и как практически её применить?
10. Что называется МДНФ для данной БФ, существует ли МДНФ, единственна ли она?
11. Что такое склейка ЭК и как ее применить к минимизации ДНФ (с примером)?
12. Какие два логических тождества обычно применяют для минимизации ДНФ?
Варианты индивидуальных заданий 2016 года
Задание 1а,б,в
Вар f Вар f
401   tzyx ~ 402   tzyx ~
403   tzyx ~ 404   tzyx ~
405   tzyx ~ 406   tzyx ~
407   tzyx ~ 408   tzyx ~
409   tzyx ~ 410   tzyx ~
411   tzyx ~ 412   tzyx ~
413   tzyx  414   tzyx 
415   tzyx  416   tzyx 
417   tzyx  418   tzyx 
419   tzyx  420   tzyx 
421   tzyx  422   tzyx 
423   tzyx ~ 424   tzyx 
425   tzyx  426   tzyx 
427   tzyx  428   tzyx 
429   tzyx  430   tzyx 
431   tzyx  432   tzyx 
433   tzyx  434   tzyx 
435   tzyx  436   tzyx 

3. 3
Задание 2а
Вар Cтолбец f Вар Cтолбец f
401 0011001100111111 419 1111111100010001
402 0101010101011111 420 1010101010111011
403 0000001111111111 421 1010101110101011
404 0000010111111111 422 1111000011110011
405 0011001101110111 423 1111000111110001
406 0011011100110111 424 1111000011110101
407 0001000111111111 425 0011000011111111
408 0000000000001111 426 0101000011111111
409 0000000000110011 427 0000110011111111
410 0000000001010101 428 0000101011111111
411 0000001100000011 429 0010001011111111
412 0000010100000101 430 0100010011111111
413 1100110011001111 431 0101111100001111
414 1010101010101111 432 0000000011111111
415 1111111100000011 433 0101111101010101
416 1111111100000101 434 0000111111001111
417 1100110011011101 435 0100111101001111
418 1100110111001101 436 0010111100101111

4. 4
Задание 2б
Вар Формула Вар Формула
401 )yt~x()zy~x(  402 )~()~( ytxyzx 
403 z)tyxt()yx(  404 ztyxtyx )()( 
405 )tzyx(yx  406
407 z)tyxt()yx(  408 ztyxtyx )()( 
409 )tzyx(yx  410 )( tzyxxy 
411 )tzyx(yx  412 )( tzyxyx 
413 )tzyx(~yx  414 )(~ tzyxxy 
415 )ty~x()zy~x(  416 )~()~( tyxzyx 
417 )~()~( tyxzyx  418 )ty~x()zy~x( 
419 z)tyyx()yx(  420 z)tyyx()yx( 
421 )tzyx(yx  422 )( ztyxyx 
423 )( ztyxyx  424 )( ztyxxy 
425 )tzyx(yx  426 )( yztxyx 
427 )(~ tzyxyx  428 )(~ tzyxxy 
429 )~()~( tyxzyx  430 )~()~( tyxzyx 
431 )~()~( tyxyzx  432 )yt~x()zy~x( 
433 )~()~( tyxzyx  434 )~()~( ytxyzx 
435 )~()~( tyxzyx  436 )~()~( tyxyzx 
z)tyxy()yx( 

5. 5
Контрольная работа № 2
Вар Система БФ Вар Система БФ
401  xyzyxxx  ,, 402  zxyyxxx  ,,
403  xyzyxx  ,,1 404  yxzyxx  ,,1
405  yxzyxx  ,,1 406  xzyyxx  ,,1
407  yxzyxx  ,,1 408  zyxyxx  ,,1
409  xyzyxxx ,~,~ 410  zyxyxx  ,,1
411  yxzyxx  ,~,0 412  zyxyxxx  ,,
413  yxzyxx  ,~,1 414  zyxyxx  ,,1
415  yxzyxx  ,~,1 416  zyxyxxx  ,,
417  xyzyxx  ,,1 418  zyxyxx  ,,1
419  zxyyxx  ,,0 420  zyxyxxx  ,,
421  zyxyxx  ,,1 422  zyxyxx  ,,0
423  zyxyxxx  ,,~ 424  zxxyyxx  ,,0
425  zyxyxx  ,1,0 426  zyxyxyx  ,,1
427  zxyxyxx  ,1, 428  yxxzxyx  ,,0
429  zyxyxxx  ,, 430  zyxzxyx  ,,1
431  zyxyxxx  ,1, 432  zxzyxyx  ,,0~
433  zyxyxxx  ,1, 434  yxzyyxxx ,~,~
435  zxyyxxx ~,1,  436  zxyyxxx ,~,~