- •«Тюменский государственный нефтегазовый университет» Институт кибернетики информатики и связи
- •Архитектура компьютерных систем
- •230115 Программирование в компьютерных системах
- •Аннотация
- •Содержание
- •Пояснительная записка
- •Критерии оценки практических работ
- •Задания к практической работе
- •1 Вариант:
- •2 Вариант:
- •3 Вариант:
- •4 Вариант:
- •5 Вариант:
- •6 Вариант:
- •7 Вариант:
- •8 Вариант:
- •9 Вариант:
- •10 Вариант:
- •1 Вариант:
- •2 Вариант:
- •3 Вариант:
- •4 Вариант:
- •5 Вариант:
- •10 Вариант:
- •Контрольные вопросы и задания
- •Практическая работа №5
- •Теоретические сведения
- •Задания к практической работе
- •Контрольные вопросы и задания
- •Практическая работа №6
- •Теоретические сведения
- •Задания к практической работе
- •Контрольные вопросы и задания
- •Список литературы
- •Учебное издание архитектура компьютерных систем
- •Библиотечно-издательский комплекс
- •625000, Тюмень, ул. Володарского, 38. Типография библиотечно-издательского комплекса.
- •625039, Тюмень, ул. Киевская, 52.
Задания к практической работе
Задание 1. Составьте таблицы истинности для следующих формул:
1 вариант:
x&(z →¬x)≡(y ˅¬z);
(((y˅x)→z)→(x & z))→ y;
(¬((x ≡y)→(y ≡z)))&(z ≡¬x);
((a→b)&c ˅¬c)&(¬(b&¬a));
(x˅y˅z)≡(x&y&z);
(y→(x˅z))→(¬y˅¬z);
((x&y)˅(x&z))≡¬(y&z);
(((¬x˅y)≡y)&z)&¬z;
((a&b&c)→((b˅c)≡a))&c;
(((x&y)&x)→z)≡z.
2 вариант:
¬(¬x1→x2)&¬(¬x2˅x3);
¬(x→y)&((y˅z)˅¬x);
¬(¬x&y)→¬(x˅z);
¬(x→z(≡((x&y)≡(x&y));
¬(x≡z)˅¬(¬x&y);
(x˅y)→((¬z≡x)&¬(¬x&z));
(x≡y)&((¬y→z)˅¬z≡y);
(x&y)˅((x→z)→¬z);
((x˅y)˅z)→((¬x→¬y)≡¬z);
((x≡y)≡¬z)˅¬(x&z).
3 вариант:
(x→y)&(y→x)˅z;
(x1→(¬x1→¬x2))≡¬(x1&x3);
((x1→x2)→x3)→¬x1→¬x2→¬x4;
(x1&x2)&x3;
(x1˅x2)˅(¬x1˅¬x3);
¬(¬(¬x1&¬x3)&(x2&x3));
(x1≡x2)→(x2≡x3);
¬(¬x1˅x3)&¬(¬x2&¬x3);
(x1→x2)≡(¬x1&x3);
¬(x1&¬x2)˅¬(x2&x3).
4 вариант:
¬(x→¬y)≡((x&z)˅y);
(x&z)˅y˅¬x);
(x&y)≡(¬(y˅x)→z);
(y≡x)→((x˅¬y)&z);
(y&z)→((z˅x)→x);
y˅(z→x)≡y;
(y→¬y)→(z˅x);
((z˅x)&y)→(x˅y);
((z&x)˅y)≡(z→x);
¬(¬x˅y˅x))≡(x&z).
5 вариант:
¬(x˅y)≡(x→¬z);
(¬x&¬z)≡(y˅z);
¬(y&z)≡(¬y˅¬x);
(¬y˅¬x)˅¬z→z&(x˅y);
((x˅y)&(z˅¬x))˅¬z≡(x˅y);
¬x→((x→z)&(y˅¬x));
(x˅y)→¬((x˅y)&(y˅z));
y&(x→¬z)→(x˅y);
(x&y)˅(¬x →z)≡(¬x→z);
(x˅z)&¬(x→y)≡¬(x→y).
6 вариант:
(x&(z→¬x))≡(y˅¬z);
(((y˅x)→z)→(x&z))→y;
(¬((x≡y)→(y≡z)))&(z≡¬x);
(((a→b)&c)˅¬c)&(¬(b→a));
((x˅y)˅z)≡(x&y&z);
(y→(x˅z))→(¬y˅¬z);
((x&y)˅(x&z))≡¬(y&z);
(((¬x˅y)≡y)&z)&¬z;
((a&b&c)≡((b˅c)→a))&c;
(((x→y)&x)→z)≡z.
7 вариант:
(x1→x2)≡(¬x3&x2);
¬((x3≡x2)˅(¬x2˅x1));
(¬x2→¬x1)˅((x3≡x2)˅¬x3);
((x1&x2)→¬x3)≡(x2≡¬x1);
((x2→x3)→x1)≡¬(x3˅x1);
((x1≡¬x2)≡(x1→x3))≡¬x1;
¬(x3&x2)→((x1˅x2)≡x3);
¬((¬x1≡¬x3)&(¬x1≡x2));
(x3→(¬x2≡(x1˅x2)))→(x1˅¬x3);
(x2→x1&(x1≡x2)))≡(x3≡(x2→¬x1)).
8 вариант:
((x1→¬x2)&x3)≡¬x1;
(¬x1&¬x2)→¬x3;
¬(x1≡¬x2)≡(¬x1&x3);
(¬x1→x2)→¬(x1→¬x3);
(x1˅x2)˅(¬x3˅x2);
(x1˅¬x2)˅(x3→¬x1);
¬(x1˅¬x2)→¬(x1→x3);
(x1˅x2)→(¬x1&¬x3);
¬(¬x1→¬x2)˅(x2˅x3);
¬(x1˅x2)˅¬(¬x1→x3).
9 вариант:
x≡y→(x→y)&(y→z);
x→y≡(¬z˅y);
(x1≡x2)˅((x1&¬x3)˅¬x2)
(x1→x2)&(x3≡¬x1)
(¬x1≡x2)→(x2&x3)
(x1˅x2)≡(x2→¬x3)&(x1≡¬x2)
(x1&x2)˅(¬x1&¬x3)
(x2&x1)→(x3˅(¬x1˅x2))
(x1→x2)≡(x3˅¬x2)
¬(x2≡¬x1)≡¬((x3&x1)˅(¬x3˅x2 ))
10 вариант:
¬(x≡y)→¬x˅y→z;
(x&¬y)→(y˅¬x)˅z;
((x→y)≡(x&z))→¬x;
¬(¬z→¬y)→x˅¬y;
¬(x1→x2)˅(¬x3˅¬x2);
(x→y)˅(x→z);
¬(x→y)≡((x→z)˅¬z);
¬((x1&x2)→(¬x2˅x3));
(¬(x&y))&((x→¬z)≡¬x);
¬(((¬x1˅x2)&x3)≡((x3&x1)˅¬x2)).
Задание 2: Упростите с помощью равносильных формул следующие функции. Составьте для полученных функций таблицы истинности:
F=¬(¬x1→x2)&¬(¬x2˅x1);
F=¬(x→y)&((y˅z)˅¬x);
F=¬(¬x&y)→¬(x˅z);
F=¬(xz)→((x&y)≡(x&y));
F=¬(x≡z)˅¬(¬x&y).