Добавить материал и получить бесплатное свидетельство о публикации в СМИ
Эл. №ФС77-60625 от 20.01.2015
Инфоурок / Информатика / Конспекты / Конспект урока по информатике и ИКТ на тему "Решение логических задач" (8 класс)

Конспект урока по информатике и ИКТ на тему "Решение логических задач" (8 класс)

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

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

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

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

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

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


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

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

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

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

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

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



Щёлокова Саида Дмитриевна















Конспект урока по информатике и ИКТ для 8 класса

«РЕШЕНИЕ ЛОГИЧЕСКИХ ЗАДАЧ»



























Тема: «Решение логических задач»

Ход урока:

Решение логических задач

Задание 1. Упростить.

А) hello_html_m4f8cf696.gif → (hello_html_m5a1ca5bb.gif Λ P) = hello_html_64b01edd.gif ٧ (hello_html_m5a1ca5bb.gif Λ P) = Q ٧ ((hello_html_170d919b.gif ٧ hello_html_m4f8cf696.gif) Λ P) = Q ٧ ((hello_html_170d919b.gif Λ P) ٧ (hello_html_m4f8cf696.gif Λ P)) = Q ٧ (hello_html_m4f8cf696.gif Λ P) = (Q ٧hello_html_2d4b0e99.gif) Λ (Q ٧ P) = Q ٧ P

В) (А → hello_html_7e0add93.gif) Λ (В → А) = (hello_html_55b2cc7f.gif V hello_html_7e0add93.gif) Λ (hello_html_m30aa7861.gifV А) = hello_html_55b2cc7f.gif Λ hello_html_7e0add93.gif V hello_html_337bcb0b.gifΛ A V hello_html_7e0add93.gif Λ hello_html_7e0add93.gif V hello_html_7e0add93.gif Λ A = hello_html_55b2cc7f.gif Λ hello_html_7e0add93.gif V hello_html_7e0add93.gif Λ A = hello_html_7e0add93.gif Λ ( hello_html_55b2cc7f.gif V A) = hello_html_7e0add93.gif

С) А Λ (А ٧ В) Λ (В ٧ hello_html_7e0add93.gif) = А Λ А ٧ А Λ В = А ٧ А Λ В = А Λ (1 ٧ В) = А

D) (hello_html_m3dc348ef.gif) → (hello_html_m6cf2db4.gif) = (А Λ В ٧ С) ٧ (hello_html_55b2cc7f.gif ٧ hello_html_4130b035.gif) = А Λ В ٧ С ٧ hello_html_55b2cc7f.gif ٧ hello_html_4130b035.gif = А Λ В ٧ hello_html_55b2cc7f.gif ٧ 1 = 1.

Е) А ٧ В Λ (А ٧ С Λ hello_html_7e0add93.gif) = А ٧ В Λ А ٧ В Λ С Λ hello_html_7e0add93.gif = А Λ (1 ٧ В) = А Λ 1 = А.

F) А ٧ В ٧ А Λ С ٧ hello_html_m174006be.gif = А ٧ В ٧ А Λ С ٧ hello_html_55b2cc7f.gif ٧ hello_html_7e0add93.gif = А Λ (1 ٧ С) ٧ В ٧ hello_html_55b2cc7f.gif ٧ hello_html_7e0add93.gif = А ٧ В ٧ hello_html_55b2cc7f.gif ٧ hello_html_7e0add93.gif = 1 ٧ 1 = 1.

Задание 2. Доказать равносильность с помощью таблиц истинности.

٧ hello_html_7e0add93.gif) → hello_html_4130b035.gif и (hello_html_me8c0663.gif) ٧ hello_html_4130b035.gif

Равносильны.

Задание 3. Упростить и построить таблицу истинности.

  1. hello_html_m715d980c.gif= hello_html_m16761c8b.gif ٧ ٧ у) = 1

  1. А ٧ В ٧ А Λ С ٧ (hello_html_m174006be.gif) = А ٧ В ٧ А Λ С ٧ hello_html_55b2cc7f.gif ٧ hello_html_7e0add93.gif = 1.






















  1. Самостоятельная работа

1.Упростить логические выражения:

А) hello_html_m3fc2ef2e.gif ٧ hello_html_2246b21b.gif = (х ٧ у) ٧ hello_html_2246b21b.gif = 1 ٧ у = 1.

В) ((С Λ В) → В) Λ ((А Λ В) → В) = (hello_html_mc35ad69.gif ٧ В) Λ (hello_html_m174006be.gif ٧ В) =

(hello_html_2924e3ea.gif٧ hello_html_7e0add93.gif ٧ В) Λ (hello_html_55b2cc7f.gif ٧ hello_html_7e0add93.gif ٧ В) = 1.

С) (А ٧ В) Λ А Λ hello_html_4130b035.gif ٧ hello_html_55b2cc7f.gif = А Λ А Λ hello_html_4130b035.gif ٧ В Λ А Λ hello_html_4130b035.gif ٧ hello_html_55b2cc7f.gif = А Λ hello_html_4130b035.gif ٧ В Λ А Λ hello_html_4130b035.gif ٧ hello_html_55b2cc7f.gif = А Λ hello_html_4130b035.gif Λ (1 ٧ В) ٧ hello_html_55b2cc7f.gif = А Λ hello_html_4130b035.gif ٧ hello_html_55b2cc7f.gif.

D) А ٧ В ٧ С ٧ hello_html_55b2cc7f.gif ٧ В Λ С = (А ٧ hello_html_55b2cc7f.gif) ٧ В Λ (1 ٧ С) ٧ С = 1 ٧ В ٧ С = 1.

2. Доказать равносильность при помощи таблиц истинности.

A B и (А V hello_html_7e0add93.gif) Λ (hello_html_55b2cc7f.gif V В)

Равносильны.


  1. Домашнее задание

Задание 1. Упростить:

  1. (х Λ у) → (hello_html_m16761c8b.gifz). 2) (hello_html_55b2cc7f.gif Λ Р) → (hello_html_3c0553ab.gif Λ А).

Задание 2. Упростить и составить таблицу истинности:

hello_html_m3dc348ef.gif(hello_html_m6cf2db4.gif).

1.Упростить логические выражения:

А) hello_html_m3fc2ef2e.gif ٧ hello_html_2246b21b.gif.

В) ((С Λ В) → В) Λ ((А Λ В) → В).

С) (А ٧ В) Λ А Λ hello_html_4130b035.gif ٧ hello_html_55b2cc7f.gif.

D) А ٧ В ٧ С ٧ hello_html_55b2cc7f.gif ٧ В Λ С.

2. Доказать равносильность при помощи таблиц истинности

A B и (А V hello_html_7e0add93.gif) Λ (hello_html_55b2cc7f.gif V В)

1.Упростить логические выражения:

А) hello_html_m3fc2ef2e.gif ٧ hello_html_2246b21b.gif.

В) ((С Λ В) → В) Λ ((А Λ В) → В).

С) (А ٧ В) Λ А Λ hello_html_4130b035.gif ٧ hello_html_55b2cc7f.gif.

D) А ٧ В ٧ С ٧ hello_html_55b2cc7f.gif ٧ В Λ С.

2. Доказать равносильность при помощи таблиц истинности

A B и (А V hello_html_7e0add93.gif) Λ (hello_html_55b2cc7f.gif V В)

1.Упростить логические выражения:

А) hello_html_m3fc2ef2e.gif ٧ hello_html_2246b21b.gif.

В) ((С Λ В) → В) Λ ((А Λ В) → В).

С) (А ٧ В) Λ А Λ hello_html_4130b035.gif ٧ hello_html_55b2cc7f.gif.

D) А ٧ В ٧ С ٧ hello_html_55b2cc7f.gif ٧ В Λ С.

2. Доказать равносильность при помощи таблиц истинности

A B и (А V hello_html_7e0add93.gif) Λ (hello_html_55b2cc7f.gif V В)

1.Упростить логические выражения:

А) hello_html_m3fc2ef2e.gif ٧ hello_html_2246b21b.gif.

В) ((С Λ В) → В) Λ ((А Λ В) → В).

С) (А ٧ В) Λ А Λ hello_html_4130b035.gif ٧ hello_html_55b2cc7f.gif.

D) А ٧ В ٧ С ٧ hello_html_55b2cc7f.gif ٧ В Λ С.

2. Доказать равносильность при помощи таблиц истинности

A B и (А V hello_html_7e0add93.gif) Λ (hello_html_55b2cc7f.gif V В)

1.Упростить логические выражения:

А) hello_html_m3fc2ef2e.gif ٧ hello_html_2246b21b.gif.

В) ((С Λ В) → В) Λ ((А Λ В) → В).

С) (А ٧ В) Λ А Λ hello_html_4130b035.gif ٧ hello_html_55b2cc7f.gif.

D) А ٧ В ٧ С ٧ hello_html_55b2cc7f.gif ٧ В Λ С.

2. Доказать равносильность при помощи таблиц истинности

A B и (А V hello_html_7e0add93.gif) Λ (hello_html_55b2cc7f.gif V В)

1.Упростить логические выражения:

А) hello_html_m3fc2ef2e.gif ٧ hello_html_2246b21b.gif.

В) ((С Λ В) → В) Λ ((А Λ В) → В).

С) (А ٧ В) Λ А Λ hello_html_4130b035.gif ٧ hello_html_55b2cc7f.gif.

D) А ٧ В ٧ С ٧ hello_html_55b2cc7f.gif ٧ В Λ С.

2. Доказать равносильность при помощи таблиц истинности

A B и (А V hello_html_7e0add93.gif) Λ (hello_html_55b2cc7f.gif V В)

1.Упростить логические выражения:

А) hello_html_m3fc2ef2e.gif ٧ hello_html_2246b21b.gif.

В) ((С Λ В) → В) Λ ((А Λ В) → В).

С) (А ٧ В) Λ А Λ hello_html_4130b035.gif ٧ hello_html_55b2cc7f.gif.

D) А ٧ В ٧ С ٧ hello_html_55b2cc7f.gif ٧ В Λ С.

2. Доказать равносильность при помощи таблиц истинности

A B и (А V hello_html_7e0add93.gif) Λ (hello_html_55b2cc7f.gif V В)

1.Упростить логические выражения:

А) hello_html_m3fc2ef2e.gif ٧ hello_html_2246b21b.gif.

В) ((С Λ В) → В) Λ ((А Λ В) → В).

С) (А ٧ В) Λ А Λ hello_html_4130b035.gif ٧ hello_html_55b2cc7f.gif.

D) А ٧ В ٧ С ٧ hello_html_55b2cc7f.gif ٧ В Λ С.

2. Доказать равносильность при помощи таблиц истинности

A B и (А V hello_html_7e0add93.gif) Λ (hello_html_55b2cc7f.gif V В)


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

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

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

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

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

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



Автор
Дата добавления 12.09.2016
Раздел Информатика
Подраздел Конспекты
Просмотров188
Номер материала ДБ-189374
Получить свидетельство о публикации

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

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

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

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

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

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