КИЇВСЬКИЙ НАЦІОНАЛЬНИЙ УНІВЕРСИТЕТ ТАРАСА ШЕВЧЕНКА

ІНСТИТУТ МІЖНАРОДНИХ ВІДНОСИН

ІНДИВІДУАЛЬНЕ ЗАВДАННЯ №2.2

«Алгебра Логіки»
з дисципліни «Математичні основи інформаційних технологій»

Виконав:

студент І курсу 2 групи

спеціальності МК

Струк Тарас

Викладач: доцент Литвиненко Н.П.

Кількість балів:_______

Київ, 2019
 1. Розв’язання логічної формули:
З формули у=( x1 A x2 ) B ( x1 C x 3 ) D ( x 2 E x 3 ) B ( x́ 2 A x́ 1 )
Та пари множин:
A, B, C, D, E = {,,,,,,,,, },
{0, 1, 2, 3, 4, 5, 6, 7, 8, 9}
де А – перша цифра дня народження,
В – друга цифра дня народження,
С – перша цифра місяця народження,
D – друга цифра місяця народження,
Е – остання цифра дня виконання роботи.
Дата народження - 09.03 та дата початку виконання роботи - 18.03
Маємо: A=0=
B=9=
C=0=
D=3=
E=8=
Таким чином випливає наступне рівняння:
y=(x1x2)(x1x3)(x2x3)( x́ 2 x́ 1)
Побудуємо таблицю дійсності та спростимо шляхом аналітичних
перетворень:

x1 0 0 0 0 1 1 1 1
x2 0 0 1 1 0 0 1 1
x3 0 1 0 1 0 1 0 1
(I) x1 x2
00000011
(II) 00000101 x1 x3
00000110III
(III) 10001000x2x3
I II III
01110001
x́ 2 1 1 0 0 1 1 0 0
x́ 1
11110000
x́ 2 x́ 1
11000000
y
10110001
Виведемо диз’юнктивну нормальну форму:
y= x´1 x́2 x́ 3 x´1 x 2 x´3 x́1 x 2 x 3 x 1 x 2 x3
Виведемо кон’юнктивну нормальну форму:
y=(x ¿ ¿ 1 x 2 x´3 ) ( x́ 1 x 2 x3 ) ( x´1 x 2 x́3 ) ( x́ 1 x́ 2 x3 ) ¿
Мінімізувати методами:
- Мінімізація методом Алгебраїчний метод:
y= x´1 x́2 x́ 3 x´1 x 2 x´3 x́1 x 2 x 3 x 1 x 2 x3 = x́1 x´3 x 2 x 3
 - Мінімізувати методом карт Карно:
- x2
00 01 11 10
0 1 1 1
x1 1 1
x3
y= x́ 1 x́3 x 2 x 3 ;
- Мінімізувати методом Комплексу кубів:
0 0 0 1 0 0 x
{ } { }
K 0= 0 1 1 1 ; K I = x 1 1 ;
0 0 1 1 0 x 1

y= x́ 1 x́3 x́ 1 x 2 x 2 x 3
- Мінімізувати методом багатовимірного кубу

   

 
 

   

y= x´1 x́3 x 2 x 3
y= x́ 1 x́3 x́ 1 x 2 x 2 x 3
2. Побудувати формулу для однієї з статей Конституції України та
перевірити її на тавтологію;
Стаття 25
 Громадянин України не може бути позбавлений громадянства і права
змінити громадянство.
Громадянин України не може бути вигнаний за межі України або
виданий іншій державі.
Введемо змінні:
A – громадянин України
B – позбавлення громадянства
C – позбавлення права змінити громадянства
D – вигнання за межі України або видача іншій державі

Формула: (A B́ Ć )(A D́ )

A 0000000011111111
B 0000111100001111
C 0011001100110011
D 0101010101010101
B́ 1111000011110000
Ć 1100110011001100
D́ 1010101010101010
B́ Ć 1100000011000000
A B́ Ć 1111111111000000
A D́ 1111111110101010
y 1111111110000000
Отже, дана формула не є тавтологією.
3. Побудувати формулу для двох повідомлень з міжнародних відносин та
перевірити їх на тавтологію і зробити висновки справедливість
Повідомлення 1.
Кім Чен Ін заявив, що готовий провести повну денуклеаризацію Північної
Кореї і дозволити відкрити представництво США в Пхеньяні, якщо Трамп
анулює всі санкції проти його країни.
Введемо змінні:
A – проведення повної денуклеаризації Північної Кореї
B – відкриття представництва США в Пхеньяні
C - анулювання санкцій проти Північної Кореї
Формула для повідомлення виглядає так:
(AB)C
A 00001111
B 00110011
C 01010101
AB 0 0 0 0 0 0 1 1
ABC 0 0 0 0 0 0 1 0

Отже, дана формула є істиною лише в 1 з 8 випадків. При такому наборі

змінних: A – 1; B – 1; C – 0;
Повідомлення 2.
Протестувальники на вулицях Лондону заявили, що мітинги не закінчаться
до тих пір, поки людям не нададуть право вирішувати долю Brexit та поки
влада не проведе ще один референдум з цього питання.
Введемо змінні:
A – протестувальники припинять мітинги
B – влада надасть громадянам право вирішувати долю Brexit
C – влада проведе ще один референдум з цього питання
Формула виглядатиме так:
y= A ← B ← C
 A 00001111
B 00110011
C 01010101
A←B 0 0 0 0 1 1 0 0
y 00001000
Отже, дана формула є істиною лише в 1 з 8 випадків. При такому наборі
змінних: A – 1; B – 0; C – 0;