Этот заказ уже выполнен на сервисе Автор24
На нашем сайте вы можете заказать учебную работу напрямую у любого из 45000 авторов, не переплачивая агентствам и другим посредникам. Ниже приведен пример уже выполненной работы нашими авторами!
Узнать цену на свою работу

Логика

Номер заказа
125095
Предмет
Создан
3 мая 2014
Выполнен
4 мая 2014
Стоимость работы
450
Надо быстро сделать контрольную работу по логике. Есть буквально 1 день. Тема работы «Логика».
Всего было
18 предложений
Заказчик выбрал автора
Этот заказ уже выполнен на сервисе Автор24
На нашем сайте вы можете заказать учебную работу напрямую у любого из 45000 авторов, не переплачивая агентствам и другим посредникам. Ниже приведен пример уже выполненной работы нашими авторами!
Узнать цену на свою работу
Или вы можете купить эту работу...
Страниц: 9
Оригинальность: Неизвестно
450
Не подошла
данная работа?
Вы можете заказать учебную работу
на любую интересующую вас тему
Заказать новую работу

Министерство образования Российской Федерации
Пермский государственный технический университет
Кафедра автоматизированных систем управления












КОНТРОЛЬНАЯ РАБОТА
по «Математической логике и теории алгоритмов»

Вариант № 3













Выполнил:
Рахимзянов В.Р.
Группа: АСУ-13бзу
Проверила:
Викентьева О.Л.







Пермь 2014
Контрольная работа по «Математической логике и теории алгоритмов»

527 mod 15 = 2+1 = 3 вариант
I. Логика и исчисление высказываний
1. Записать высказывания в виде формул логики высказываний.
Если х=5 и у=3, то х>y.
Решение:
1.3

2. Построить таблицы истинности для формул
2.1.

2.2




3. Доказать, что формулы являются тавтологиями
3.3.
Решение:
A B C





4. Доказать полноту (неполноту) систем булевых функций
Класс функций F называется полным, если его замыкание совпадает с Pn:
.
Другими словами, множество функций F образует полную систему, если любая функция реализуема в виде формулы над F.

Воспользуемся критерием Поста. Проверим каждую из этих функций на принадлежность к замкнутым классам P0, P1, L, S, M.

5. Получить СДНФ для формул, а затем перейти к СКНФ:
5.3

6. Получить СКНФ, а затем перейти к СДНФ
6.3

7. Получить МДНФ для формул
7.3


2. Показать все
I. Логика и исчисление высказываний
1. Записать высказывания в виде формул логики высказываний.
Если х=5 и у=3, то х>y.
Решение:
1.3

2. Построить таблицы истинности для формул
2.1.

2.2




3. Доказать, что формулы являются тавтологиями
3.3.
Решение:
A B C





4. Доказать полноту (неполноту) систем булевых функций
Класс функций F называется полным, если его замыкание совпадает с Pn:
.
Другими словами, множество функций F образует полную систему, если любая функция реализуема в виде формулы над F.

Воспользуемся критерием Поста. Проверим каждую из этих функций на принадлежность к замкнутым классам P0, P1, L, S, M.

5. Получить СДНФ для формул, а затем перейти к СКНФ:
5.3

6. Получить СКНФ, а затем перейти к СДНФ
6.3

7. Получить МДНФ для формул
7.3


2. Показать все
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
Формулы являются тавтологиями, так все значения – истина.
4. Доказать полноту (неполноту) систем булевых функций
Класс функций F называется полным, если его замыкание совпадает с Pn:
.
Другими словами, множество функций F образует полную систему, если любая функция реализуема в виде формулы над F.
Воспользуемся критерием Поста. Проверим каждую из этих функций на принадлежность к замкнутым классам P0, P1, L, S, M.
1) P0 - класс функий, сохраняющих нуль (т.е если f(0,0,...,0)=0, то f принадлежит этому классу). Проверяем
F(0,0)=0↓0=1 – не принадлежит классу P0
2) P1 - класс функций, сохраняющих единицу (т.е если f(1,1,...,1)=1, то f принадлежит этому классу).
F(1,1)=1↓1=0 – не принадлежит P1
3)L-класс функций, представимы л Показать все
Автор24 - это фриланс-биржа. Все работы, представленные на сайте, загружены нашими пользователями, которые согласились с правилами размещения работ на ресурсе и обладают всеми необходимыми авторскими правами на данные работы. Скачивая работу вы соглашаетесь с тем что она не будет выдана за свою, а будет использована использовать исключительно как пример или первоисточник с обязательной ссылкой на авторство работы. Если вы правообладатель и считаете что данная работа здесь размещена без вашего разрешения - пожалуйста, заполните форму и мы обязательно удалим ее с сайта. Заполнить форму
Оценим бесплатно
за 10 минут
Эта работа вам не подошла?
У наших авторов вы можете заказать любую учебную работу от 200 руб.
Оформите заказ и авторы начнут откликаться уже через 10 минут!
Заказать контрольную работу