Добавить материал и получить бесплатное свидетельство о публикации в СМИ
Эл. №ФС77-60625 от 20.01.2015
Инфоурок / Информатика / Другие методич. материалы / Разбор варианта решения контрольной работы для 11 класса по теме: “Математическая логика” (11 класс)

Разбор варианта решения контрольной работы для 11 класса по теме: “Математическая логика” (11 класс)

Международный конкурс по математике «Поверь в себя»

для учеников 1-11 классов и дошкольников с ЛЮБЫМ уровнем знаний

Задания конкурса по математике «Поверь в себя» разработаны таким образом, чтобы каждый ученик вне зависимости от уровня подготовки смог проявить себя.

К ОПЛАТЕ ЗА ОДНОГО УЧЕНИКА: ВСЕГО 28 РУБ.

Конкурс проходит полностью дистанционно. Это значит, что ребенок сам решает задания, сидя за своим домашним компьютером (по желанию учителя дети могут решать задания и организованно в компьютерном классе).

Подробнее о конкурсе - https://urokimatematiki.ru/


Идёт приём заявок на самые массовые международные олимпиады проекта "Инфоурок"

Для учителей мы подготовили самые привлекательные условия в русскоязычном интернете:

1. Бесплатные наградные документы с указанием данных образовательной Лицензии и Свидeтельства СМИ;
2. Призовой фонд 1.500.000 рублей для самых активных учителей;
3. До 100 рублей за одного ученика остаётся у учителя (при орг.взносе 150 рублей);
4. Бесплатные путёвки в Турцию (на двоих, всё включено) - розыгрыш среди активных учителей;
5. Бесплатная подписка на месяц на видеоуроки от "Инфоурок" - активным учителям;
6. Благодарность учителю будет выслана на адрес руководителя школы.

Подайте заявку на олимпиаду сейчас - https://infourok.ru/konkurs

  • Информатика

Поделитесь материалом с коллегами:

hello_html_m2a7690f7.gifРазбор варианта решения контрольной работы для 11 класса по теме: “Математическая логика”


1. Составить таблицу истинности для формулы, построить СДНФ и СКНФ:

A=(X hello_html_m27757618.gif Y & Z) hello_html_34f085ee.gif X

Решение:

x

y

z

hello_html_m28aaeb7.gif

hello_html_m3fe71daf.gif

hello_html_6205ee3.gif

hello_html_m1e7628bf.gif

1

1

1

1

0

0

0

0

1

1

0

0

1

1

0

0

1

0

1

0

1

0

1

0

0

0

0

0

1

1

1

1

1

0

0

0

1

0

0

0

1

0

0

0

1

1

1

1

1

0

0

0

1

1

1

1

Дизъюнктивной нормальной формой (ДНФ) формулы называется равносильная ей формула, представляющая собой дизъюнкцию элементарных конъюнкций.

Конъюнктивной нормальной формой (КНФ) формулы называется равносильная ей формула, представляющая собой конъюнкций элементарных дизъюнкций.

Совершенной дизъюнктивной нормальной формой (СДНФ) формулы называется такая ДНФ этой формулы, для которой выполняются свойства совершенства, причем такая ДНФ – единственна.

Совершенной конъюнктивной нормальной формой (СКНФ) формулы называется такая КНФ этой формулы, для которой выполняются свойства совершенства, причем такая КНФ – единственна.

Свойства совершенства:

1)Каждое логическое слагаемое формулы содержит все переменные входящие в данную функцию.

2)Все логические слагаемые формулы различны.

3)Ни одно логическое слагаемое формулы не содержит ее переменную и отрицание.

4)Ни одно логическое слагаемое формулы не содержит одну и ту же переменную дважды.

СДНФ

hello_html_ecd0c26.gif

СКНФ

hello_html_m2b813a6d.gif

2. Проверить, являются ли заданные функции F1 и F2 равносильны:

F1

F2

hello_html_m4753a883.gif

hello_html_4ecc2198.gif


Решение:

F1

x

y

z

hello_html_696aaace.gif

hello_html_m4753a883.gif

1

1

1

1

0

0

0

0

1

1

0

0

1

1

0

0

1

0

1

0

1

0

1

0

1

1

0

0

0

0

1

1

1

0

1

1

1

1

1

0

F2

x

y

z

hello_html_m264f589d.gif

hello_html_m7e85013f.gif

hello_html_2b9696d2.gif

hello_html_m15ab4c15.gif

1

1

1

1

0

0

0

0

1

1

0

0

1

1

0

0

1

0

1

0

1

0

1

0

0

0

0

0

1

1

1

1

0

0

1

1

0

0

1

1

1

1

0

0

0

0

1

1

1

0

1

1

1

1

1

0


Заданные функции F1 и F2 являются равносильными, т.к. итоговые значения в таблицах истинности F1 и F2 совпадают.



Самые низкие цены на курсы профессиональной переподготовки и повышения квалификации!

Предлагаем учителям воспользоваться 50% скидкой при обучении по программам профессиональной переподготовки.

После окончания обучения выдаётся диплом о профессиональной переподготовке установленного образца (признаётся при прохождении аттестации по всей России).

Обучение проходит заочно прямо на сайте проекта "Инфоурок".

Начало обучения ближайших групп: 18 января и 25 января. Оплата возможна в беспроцентную рассрочку (20% в начале обучения и 80% в конце обучения)!

Подайте заявку на интересующий Вас курс сейчас: https://infourok.ru/kursy



Краткое описание документа:

Данный вариант контрольной работы по теме: “Математическая логика” для НПО или старших классов школы, направлен на закрепление темы. Работа представлена двумя заданиями с пошаговым объяснением каждого. Структура работы:

  • Составить таблицу истинности для формулы, построить СДНФ и СКНФ;
  • Проверить, являются ли заданные функции F1 и F2 равносильны.
Автор
Дата добавления 03.05.2015
Раздел Информатика
Подраздел Другие методич. материалы
Просмотров428
Номер материала 262242
Получить свидетельство о публикации

УЖЕ ЧЕРЕЗ 10 МИНУТ ВЫ МОЖЕТЕ ПОЛУЧИТЬ ДИПЛОМ

от проекта "Инфоурок" с указанием данных образовательной лицензии, что важно при прохождении аттестации.

Если Вы учитель или воспитатель, то можете прямо сейчас получить документ, подтверждающий Ваши профессиональные компетенции. Выдаваемые дипломы и сертификаты помогут Вам наполнить собственное портфолио и успешно пройти аттестацию.

Список всех тестов можно посмотреть тут - https://infourok.ru/tests

Похожие материалы

Включите уведомления прямо сейчас и мы сразу сообщим Вам о важных новостях. Не волнуйтесь, мы будем отправлять только самое главное.
Специальное предложение
Вверх