- •Застосування логіки висловлювань в програмній інженерії методичні вказівки
- •Теоретичні відомості.
- •Нормальні форми логіки висловлювань
- •Карти Карно
- •Кодистійкі до перешкод
- •Логічні побітові операції
- •Завдання до виконання
- •Контрольні запитання.
- •Список літератури
- •Застосування логіки висловлювань в програмній інженерії методичні вказівки
Завдання до виконання
Знайти ДНФ функції, що задана формулою .
Одержати КНФ формули .
Записати досконалу диз’юнктивну нормальну форму та досконалу кон’юктивну нормальну форму формул f1(x1,x2,x3),f2(x1,x2,x3), f3(x1,x2,x3) та f4(x1,x2,x3), які задані таблицями істинності:
x1 |
x2 |
x3 |
f1(x1,x2,x3) |
f2(x1,x2,x3) |
f3(x1,x2,x3) |
f4(x1,x2,x3) |
T |
T |
T |
T |
T |
F |
T |
T |
T |
F |
F |
T |
F |
F |
T |
F |
T |
T |
F |
T |
T |
T |
F |
F |
T |
F |
T |
F |
F |
T |
T |
T |
F |
T |
F |
F |
T |
F |
F |
T |
F |
T |
F |
F |
T |
F |
T |
F |
T |
F |
F |
F |
T |
F |
T |
F |
Записати досконалу кон’юнктивну нормальну форму та досконалу диз’юктивну нормальну форму формул f1(x1,x2,x3),f2(x1,x2,x3), f3(x1,x2,x3) та f4(x1,x2,x3), які задані таблицями істинності:
x1 |
x2 |
x3 |
f1(x1,x2,x3) |
f2(x1,x2,x3) |
f3(x1,x2,x3) |
f4(x1,x2,x3) |
T |
T |
T |
F |
T |
F |
T |
T |
T |
F |
F |
T |
F |
F |
T |
F |
T |
T |
F |
T |
T |
T |
F |
T |
F |
T |
T |
T |
F |
T |
T |
T |
T |
T |
T |
F |
T |
T |
T |
T |
F |
F |
F |
F |
T |
F |
F |
T |
T |
F |
F |
F |
T |
F |
T |
F |
Побудувати таблиці істинності для функцій, що задані ДДНФ:
Знайти досконалу КНФ для
Звести формулудоКНФ та ДНФ.
Побудувати складне висловлювання атомів p,q,r яке набуває значенняТтоді й лише тоді, коли:
а) pтаq– істинні,r– фальшиве;
б) точно два з трьох висловлювань p,q,rістинні.
Для функції f = побудувати скорочену ДНФ.
Побудувати скорочену ДНФ для .
Побудуйте карту Карно для трьох змінних.
За допомогою карт Карно мінімізувати:
а) ;
б) .
Скласти СДНФ булевої функції, заданої вектором значень таблиці істинності f=(10010010) та мінімізувати її.
Закодувати двійковим кодом Хеммінга комбінації 0110010 та 1000111 двійкового простого коду. Показати на прикладі виправлення будь-якої однократної помилки в утворених комбінаціях коду Хеммінга та визначити надмірність цього коду.
Закодувати двійковим кодом Хеммінга комбінацію двійкового простого коду та виправити будь-яку однократну помилку, якщо комбінацією простого коду є запис поточного року в двійковій системі числення.
Визначити значність та вагу коду:
а) 1001111;
б) 1100001;
в) 1001.
Визначити відстань за Хеммінгом для наступних кодових комбінацій:
а) 1001001 та 1110011;
б) 1110011 та 1000001;
в) 1100111 та 1100111.
Закодувати двійковим кодом Хеммінга комбінацію A = 10011 двійкового простого коду та показати на прикладі виправлення будь-якої однократної помилки.
Виявити у якому біті коду є помилка, якщо:
а) передане кодове слово 1101011, а прийняте слово – 1101101;
а) передане кодове слово 1111001, а прийняте слово – 1101001.
Вхідний код 010111010011 закодували за допомогою алгоритму Хемінга. Знйдіть результат серед варіантів відповідей:
010010110101011000011
100100100000000001101
101011101111000100100
101011101001101110101
101001001001100101000
Вхідний код 000100111010 закодували за допомогою алгоритму Хемінга. Знйдіть результат серед варіантів відповідей:
000010101000000010110
100001000000111101010
110100110000111011010
101011111100110010110
111111101101110001101
Знайти результат виконання побітових операцій «і», «або», «альтернативне або» для наступних чисел в бітовому представленні:
а) 10001 та 11001;
б) 1111001 та 1111001;
в) 10101 та 11100.
Знайти результат виконання побітової операції «не» для наступних чисел в бітовому представленні (вважати, що числа є 32-розрядні):
а) 1001;
б) 11100010.
Обчислити виконання побітових операцій «і», «або», «альтернативне або» для наступних чисел:
а) 2 та 9;
б) 11 та 14;
в) 9 та 0.
Знайти результат (в бітовому представленні) виконання наступних побітових операцій:
а) 1001<<2;
б) 11100010<<3;
в) 1001>>2;
г) 11100010>>3.
Знайти результат (в числовому представленні) виконання наступних побітових операцій:
а) 5>>2;
б) 5<<2;
в) -11<<3;
г) -11>>3.
Визначити результат (true або false) виконання логічних операцій:
а) (0>-3) &&(0>-1);
б) (Київ – столиця України) &&(2>1);
в) (Сніг білий) &&(У році 10 місяців);
г) (0>-3) || (0>-1);
ґ) (Київ – столиця України) || (2>1);
д) (Сніг білий) || (У році 10 місяців).