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

1.1. Исследовательское задание

Доклады на темы:

• история математической логики;
• Джордж Буль один из создателей математической логики;
• области применения математической логики.

1.2. Конструкторское задание

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

1.3. Прогнозирующее задание

Какой из нижеперечисленных сайтов удовлетворяет логическому выражению:

(социальная сеть) ИЛИ (развлекательный портал) И НЕ (принадлежит mail.ru)?

1) Pikabu.ru;

2) Вконтакте;

3) YouTube;

4) МойМир.

1.4. Поисковое задание

Одноклассники Илья, Саша и Глеб обсуждали видеохостинг YouTube. Вот их высказывания:

Саша: «YouTube создан в 2005 году, а официально в России стал доступен в 2010».

Илья: «Сайт позволяет скачивать все ролики, а самое короткое видео длится ровно 1 секунду».

Глеб: «Видеохостингом владеет компания Google, и он полностью написан на языке программирования Python».

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

1.5. Личностно-ориентированное задание

Константин дал на перемене свой айпад троим друзьям – Ване, Коле и Саше. После он обнаружил, что вступил в соцсети в группы фанатов сериала My Little Pony, коим он не является, но его друзья не признаются, кто это сделал. Их высказывания:

Ваня: «Это сделал я, Коля не виноват».

Коля: «Я и Саша вообще не выходили в интернет с планшета!»

Саша: «Это сделал не я и не Ваня».

Единственная, кто может помочь Константину, это его одноклассница Марина, которая утверждает, что все видела, и говорит, что только один друг сказал правду в обоих случаях. Кто виноват? Решите задачу, заполнив и проанализировав таблицу истинности.

1.6. Обобщающее задание

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