Основы дискретной математики
11) Заданы логические функции: и
12) Заданы логические функции: и
13) Заданы логические функции: c="images/referats/12447/image202.png">и
14) Заданы логические функции: и
15) Заданы логические функции: и
16) Заданы логические функции: и
17) Заданы логические функции: и
18) Заданы логические функции: и
19) Заданы логические функции: и
20) Заданы логические функции: и
21) Заданы логические функции: и
22)
23) Заданы логические функции: и
24) Заданы логические функции: и
25) Заданы логические функции: и
26) Заданы логические функции: и
27) Заданы логические функции: и
28) Заданы логические функции: и
29) Заданы логические функции: и
30) Заданы логические функции: и
31) Заданы логические функции: и
32) Заданы логические функции: F1=1 на наборах 4,5,7 и
33) Заданы логические функции: F1=0 на наборах 2,4 и
34) Заданы логические функции: и
35) Заданы логические функции: и
36) Заданы логические функции: и
37) Заданы логические функции: и
5.3 Вопросы для самопроверки
1) Какие формы представления логических функций Вы знаете?
2) В каких случаях, на Ваш взгляд, какие формы представления логических функций являются наиболее предпочтительными?
3) Изобразите общую схему таблицы истинности функции 4‑х переменных.
4) Каков приоритет выполнения логических операций?
5) Какие логические функции есть в алгоритмическом языке Object Pascal?
6) Дайте определение логической функции многих переменных.
7) Приведите пример тождественно ложной логической функции. Можно ли для этой функции построить СДНФ?
8) Приведите пример тождественно истинной логической функции. Можно ли для этой функции построить СКНФ?
9) На основании каких замен можно построить арифметическую модель логической функции?
10) Перечислите законы алгебры логики.
11) Какие следствия из законов алгебры логики Вы знаете?
12) Назовите учёных, которые считаются основателями алгебры логики.
Практическая работа № 6. Изучение методов минимизации логических функций
Цель работы: применение изученных методов минимизации логических функций для решения конкретных задач.
6.1 Краткие теоретические сведения
Общая задача минимизации логических функций сводится к построению в базисе Буля функции, содержащей минимально возможное число двоичных переменных. Исходное выражение логической функции может быть представлено формулой в любом базисе. Поэтому на первом этапе осуществляется переход к нормальной форме формулы булевой функции, как правило, совершенной дизъюнктивной нормальной форме.
F 0={×;Ú; – ;Å;«;®;½;¯} – сигнатура алгебры логики;
F 1={×;Ú;–} – базис Буля;
F 2={×;–} – базис конъюнктивный;
F 3={Ú;–} – базис дизъюнктивный;
F 4={×;Å; 1} – базис Жегалкина;
F 5={¯} – базис Вебба;
F 6={½} – базис Шеффера;
F 7={®;–} – базис импликативный и т. д.
В таблицах 6.1–4 приведены формулы в некоторых базисах и для некоторых значений функции f (x1, x2).
Таблица 6.1 – Формулы, описывающие функции в базисах F0 и F5
fi |
Формулы в базисах F 0 и F 5 |
f1 |
(x1×x2)=(x1¯x2)¯(x1¯x2) |
f6 |
(x1Åx2)=[(x1¯x1)¯(x2¯x2)]¯(x1¯x2) |
f7 |
(x1Úx2)=(x1¯x2)¯(x1¯x2) |
f9 |
(x1«x2)=[x1¯(x2¯x2)]¯[x2¯(x1¯x1)] |
f13 |
(x1®x2)=[x2¯(x1¯x1)]¯[x2¯(x1¯x1)] |
f14 |
(x1÷x2)=[(x1¯x1)¯(x2¯x2)]¯ [(x1¯x1)¯(x2¯x2)] |
Другие рефераты на тему «Программирование, компьютеры и кибернетика»:
Поиск рефератов
Последние рефераты раздела
- Основные этапы объектно-ориентированного проектирования
- Основные структуры языка Java
- Основные принципы разработки графического пользовательского интерфейса
- Основы дискретной математики
- Программное обеспечение системы принятия решений адаптивного робота
- Программное обеспечение
- Проблемы сохранности информации в процессе предпринимательской деятельности