Преобразование логических выражений

Цена:
350 руб.

Состав работы

material.view.file_icon B53593B1-FD96-450D-A9AD-3FBAA0597D5D.docx [32 KB]

Необходимые программы

Работа представляет собой файл, который можно открыть в программе:
  • Microsoft Word

Описание

РЕФЕРАТ НА ТЕМУ
преобразование логических выражений

Дополнительная информация

СОДЕРЖАНИЕ
Введение 3
1. Основные понятия 5
1. 1 Логические выражения 5
1. 2 Истинностные значения 7
1. 3 Логические операции 10
2. Методы преобразования 13
2. 1 Упрощение выражений 13
2. 2 Дистрибутивные законы 15
2. 3 Правила де Моргана 17
3. Сравнение методов 21
3. 1 Анализ эффективности 21
3. 2 Примеры вычислений 23
3. 3 Сложность алгоритмов 25
4. Новые подходы 28
4. 1 Инновационные методы 28
4. 2 Оптимизация вычислений 30
4. 3 Экспериментальные результаты 32
Заключение 35
Список использованных источников 38

Другие работы

Линейная алгебра. Контрольная работа №1, Вариант №9
Задача 1. Дана система трех линейных уравнений. Найти решение ее двумя способами: методом Крамера и методом Гаусса. Задача 2. Даны координаты вершин пирамиды А1А2А3А4. Найти: 1.длину ребра А1А2; 2.угол между ребрами А1А2 и А1А4; 3.площадь грани А1А2А3; 4.уравнение плоскости А1А2А3. 5.объём пирамиды А1А2А3А4. 2.9. А1 ( 1; 8; 2), А2 ( 5; 2; 6), А3 ( 5; 7; 4), А4 ( 4; 10; 9).
СибГУТИ Алгебра и геометрия Работа Контрольная
User Mixhot : 13 декабря 2015
150 руб.
Контрольная работа. Математическая логика и теория алгоритмов. Вариант №11
1. Пользуясь определением формулы исчисления высказываний проверить, является ли данное выражение формулой. 2. Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна, методом редукции и методом резолюций 3. Пользуясь определением формулы логики предикатов проверить, что выражение является формулой. В формуле указать свободные и связанные переменные. Привести формулу к предваренной форме 4. Построить машину Тьюринга для перевода из начальной конфигураци
СибГУТИ Математическая логика и теория алгоритмов Работа Контрольная
User BOETZ : 10 января 2016
40 руб.
Збірне балочне перекриття багатоповерхової будівлі з неповним каркасом
Збірне балочне перекриття багатоповерхової будівлі з неповним каркасом. Чертежи диплома.
Чертежи Строительство промышленное и гражданское
User SerFACE : 16 мая 2013
20 руб.
Збірне балочне перекриття багатоповерхової будівлі з неповним каркасом
Коробка перемены передач (КПП) трактора МТЗ Беларус-1221 (сборочный чертеж)
Механическая коробка переключения передач (КПП) трактора МТЗ-1221 представляет собой ступенчатое устройство с возможностью переключения четырех передач (4 диапазона – на передний ход и 2 диапазона – на задний ход) при помощи синхронизаторов. Так как МТЗ-1221 является более улучшенной модификацией тракторов МТЗ-80 и МТЗ-82, то его КПП было спроектировано таким образом, чтобы можно было производить переключение передач под нагрузкой без потери мощности. Это, в свою очередь, повысило производительн
Чертежи Сельскохозяйственные машины
User maobit : 4 апреля 2018
690 руб.
Коробка перемены передач (КПП) трактора МТЗ Беларус-1221 (сборочный чертеж)
up Наверх