16. Зайченко Н.В. Профессионально- педагогическая подготовка будущего учителя. - Алма-Ата.: КазПИ, 1988. - 54с.

17. Зотов Ю.В. Организация современного урока. - М.:Просвещение,1988. -324с.

18. Груденов Я.Н. Психолого-дидактические основы обучения математике. - М.: Педагогика, 1987. - 160с.

19. Порожнета Н.Н. Еще одна технология закрепления и повторения// Математика в школе. - 1997. - №1. - С.5

20. Смирнов С.А. Педагогика. Педагогические теории, системы, технологии. М.: Академия, 2001. - 512с.

21. Частухина О.В.Повторение в игровой форме // Математика. - 2001. - №8. С.5-9

22. Харламов И. Ф. Педагогика. - М.: Юристъ, 1997. - 507с.

23. Бабанский Ю.К. Педагогика. - М.: Прсвещение, 1988. - 608с.

24. СанПиН 2.4.2.1178-02 “Гигиенические требования к условиям обучения в общеобразовательных учреждениях”.

25. Арустамов Э.А. Безопасность жизнедеятельности. - М.: Дашков и К, 2004. 496с.

26. ГОСТ 12.1.005-88 “Общие санитарно-гигиенические требования к воздуху рабочей зоны”.

27. Кунин П.П., Лапин В.Л., Пономарев Н.Л. Безопасность жизнедеятельности. Безопасность технологических процессов и производств. М.: Высш. шк, 2001. - 319с.

28. Русак О.Н. Безопасность и охрана труда. - СПб.: Из-во МАНЭБ, 2001. - 279с.

29. Ушаков К.З., Каледина Н.О., Кирин Б.Ф., Скребный М.А. Безопасность жизнедеятельности. - М.: Из-во МГГУ, 2000. - 430с.

30. Денисов В.В Безопасность жизнедеятельности. Защита населения и территории при ЧС - Ростов-на-Дону: Март, 2003. - 608с.

31. Сергеев В.С. Защита населения и территории в чрезвычайных ситуациях. М.: Академический проспект, 2004. - 432с.

32. Быльцова С.Ф. Занимательная математика. - СПб.: Питер, 2005. - 352с.

33. Будаев В.Д., Стефанова Н.Л. Математика и информатика. - М.: Высш. шк., 2004. - 349с.

34. Гиндикин С.Г. Алгебра логики в задачах. - М.: Наука, 1972. - 288с.

35. Шапиро С.И. Решение логических и игровых задач. - М.: Радио и связь, 1984. - 153с.

ПРИЛОЖЕНИЕ А

Схема учебного материала темы «Логика высказываний»

ПРИЛОЖЕНИЕ Б

ПРИЛОЖЕНИЕ В

Вопросы к теме «Логика высказываний»

1) В чьих трудах логика сформировалась как самостоятельная наука?

2) Кто создал алгебру высказываний?

3) Что является предметом математической логики?

4) Кто применил математическую логику для обоснования арифметики и теории множеств?

5) Какая наука называется математической логикой?

6) Что такое логика высказываний?

7) Какое предложение называется высказыванием?

8) Какие значения может принимать высказывание?

9) Какие предложения не являются высказываниями?

10) Приведите примеры высказываний?

11) Какое предложение называется высказывательной формой?

12) Назовите два вида высказываний, приведите примеры?

13) Перечислите все логические связки?

14) Как логические связки называются в логике высказываний?

15) Что называется операцией отрицание?

16) Каким символом обозначается операция «отрицание», какой частице русского языка она соответствует?

17) Приведите примеры высказываний с отрицанием?

(вопросы 15-17 можно использовать для каждой логической операции - дизъюнкции, конъюнкции и др.)

18) Дайте определение понятию формула логики высказываний?

19) Приведите примеры логических формул?

20) Перескажите алгоритм формализации высказываний?

21) Какое значение может принимать формула?

22) Как происходит составление таблиц истинности?

23) Сколько строк будет содержать таблица истинности, если формула содержит п высказываний?

24) Перечислите порядок выполнения операций в формуле?

25) Какие формулы называются равносильными?

26) Какие две таблицы будут считать одинаковыми?

27) Чем отличается тождественно-истинное высказывание от тождественно-ложного высказывания?

28) Приведите примеры тождественно-истинных высказываний и тождественно-ложных высказываний?

29) Перечислите свойства дизъюнкции и конъюнкции?

30) Какие свойства с участие операции отрицание вы знаете?

31) Приведите свойства с логическими константами?

32) Что называется элементарной конъюнкцией и элементарной дизъюнкцией?

33) Приведите примеры элементарных конъюнкций и элементарных дизъюнкций?

34) Дайте определение понятиям ДНФ и КНФ?

35) Приведите примеры ДНФ и КНФ?

36) В чем суть алгоритма приведения к ДНФ и КНФ, в чем их различие?

37) Что такое СДНФ и СКНФ?

38) Чем совершенные нормальные формы отличаются от нормальных форм?

39) Приведите примеры совершенных форм?

40) Какие существуют способы приведения к совершенным формам?

41) Чем отличается аналитический способ от табличного способа?

42) Найдите сходства и различия между алгоритмами приведения к совершенным формам (аналитическим и табличным)?

43) Опишите алгоритм решения логических задач с помощью логики высказываний?

44) Перечислите эвристические методы решения логических задач?

ПРИЛОЖЕНИЕ Г

Тестовые задания к теме «Логика высказываний»

Тестовое задание №1

1) Обведите номер правильного ответа

АЛГЕБРУ ВЫСКАЗЫВАНИЙ, В КОТОРОЙ БУКВАМИ ОБОЗНАЧЕНЫ ВЫСКАЗЫВАНИЯ, СОЗДАЛ

1. Аристотель

2. Лейбниц

3. Дж.Буль

4. Д. Пеано

2) УСТАНОВИТЕ СООТВЕТСТВИЕ

Название логической операции Символ

1. дизъюнкция

2. конъюнкция

3. эквивалентность

4. импликация

5. стрелка Пирса

6. штрих Шеффера

3) Обведите номер правильного ответа

ВЫСКАЗЫВАНИЕМ НАЗЫВАЕТСЯ

1. вопросительное предложение

2. повествовательное предложение

3. восклицательное предложение

4) Впишите ответ прописными буквами

СЛОЖНОЕ ВЫСКАЗЫВАНИЕ СОСТОИТ ИЗ ________________

5) Впишите ответ прописными буквами

ДВЕ ФОРМУЛЫ А И В БУДУТ НАЗЫВАТЬСЯ РАВНОСИЛЬНЫМИ (А=В) ЕСЛИ ОНИ ИМЕЮТ ОДИНАКОВЫЕ _______________________

6) Обведите номер правильного ответа

ФОРМУЛА ЯВЛЯЕТСЯ СООТНОШЕНИЕМ

1. дизъюнкции и конъюнкции

2. конъюнкции и отрицания

3. отрицания и эквивалентности

4. эквивалентности и импликации

7) Обведите номер правильного ответа

ФОРМУЛЫ

ЯВЛЯЮТСЯ СООТНОШЕНИЯМИ С УЧАСТИЕМ

1. логических констант

2. логических констант и дизъюнкции

3. логических констант, дизъюнкции и эквивалентности

4. логических констант, дизъюнкции, эквивалентности и импликации

8) Обведите номер правильного ответа

ЗАКОН «ДЕ МОРГАНА» ИМЕЕТ ВИД

1.

2.

3.

4.

9) Впишите ответ прописными буквами

ВСЯКАЯ КОНЪЮНКЦИЯ ЭЛЕМЕНТАРНЫХ ДИЗЪЮНКЦИЙ НАЗЫВАЕТСЯ ____________________________________________________

10) Обведите номер правильного ответа

ДИЗЪЮНКТИВНАЯ НОРМАЛЬНАЯ ФОРМА ВЫГЛЯДИТ

1.

2.

11) Впишите ответ прописными буквами

ДНФ, В КОТОРОЙ ВСЕ СЛАГАЕМЫЕ СОДЕРЖАТ СОМНОЖИТЕЛЕМ ВСЕ ПЕРЕМЕННЫЕ - БЕЗ ОТРИЦАНИЯ ЛИБО С ОТРИЦАНИЕМ НАЗЫВАЕТСЯ ____________________________

12) Обведите номер правильного ответа

В СОВЕРШЕННЫХ НОРМАЛЬНЫХ ФОРМАХ ПОВТОРЕНИЯ СОМНОЖИТЕЛЕЙ И СЛАГАЕМЫХ

1. отсутствует

2. присутствует

13) Обведите номер правильного ответа

ФОРМУЛА ВИДА

ЭТО

1. ДНФ

2. КНФ

3. СДНФ

4. СКНФ

14) Впишите ответ прописными буквами

СПОСОБАМИ ПРИВЕДЕНИЯ К СОВЕРШЕННЫМ НОРМАЛЬНЫМ ФОРМАМ ЯВЛЯЮТСЯ _____________________________________________

15) Перечислите через запятую правильный порядок действий

ПРИ РЕШЕНИИ УРОВНЕНИЯ

ПРИ

НЕОБХОДИМО ВЫПОЛНИТЬ ДЕЙСТВИЯ В СЛЕДУЮЩЕМ ПОРЯДКЕ

1.

2.

3.

4.

Тестовое задание №2

1) Обведите номер правильного ответа

ВЫСКАЗЫВАНИЯМИ ЯВЛЯЮТСЯ

1. Который час?

2. Солнце вращается вокруг земли;

3.

4. Луна есть спутник Марса.

2) Обведите номер правильного ответа

ИСТИННЫМИ ЯВЛЯЮТСЯ ВЫСКАЗЫВАНИЯ

1.

2. Всякий человек имеет брата;

3. Если 15 делится на 6, то 15 делится на 3

4. .

3) Обведите номер правильного ответа

СОСТАВНЫМИ ЯВЛЯЮТСЯ ВЫСКАЗЫВАНИЯ

1. Число 15 делится на 5 и на 3;

2. Число 8 является делителем числа 48;

3. Студент университета;

4. Если 12 делится на 6, то 12 делится на 3.

4) Обведите номер правильного ответа

ЛОГИЧЕСКАЯ СВЯЗКА «ТОГДА И ТОЛЬКО ТОГДА, КОГДА» СООТВЕТСТВУЕТ ЛОГИЧЕСКОЙ ОПЕРАЦИИ

1. дизъюнкции

2. эквивалентности

3. импликации

4. стрелке Пирса

5) УСТАНОВИТЕ СООТВЕТСВИЕ

Высказывание Символьная запись

1. Число 10 не делится на 3; а)

2. 45 кратно 3 и 42 кратно 3; б)

3. Если 12 делится на 6, то 12 делится на 3; в)

4. Число 212 кратно 3 или 4. г)

д)

6) Обведите номер правильного ответа

РАВЕНСТВО ВЫПОЛНЯЕТСЯ ПРИ

1.

2.

3.

4.

7) Обведите номер правильного ответа

ЕСЛИ Х - «7 ПРОСТОЕ ЧИСЛО», Y - «7 СОСТАВНОЕ ЧИСЛО», Z - «8 ПРОСТОЕ ЧИСЛО», T - «8 СОСТАВНОЕ ЧИСЛО», ТО ИСТИННЫМИ ЯВЛЯЮТСЯ ПРЕДЛОЖЕНИЯ

1.

2.

3.

4.

8) впишите ответ прописными буквами

ВЫСКАЗЫВАНИЕ «Я ПОЕДУ ИЛИ НА АВТОБУСЕ, ИЛИ НА ТАКСИ» ЗАПИСАННОЕ ВВИДЕ ФОРМУЛЫ ВЫГЛЯДИТ _________

9) Обведите номер правильного ответа

ТОЖДЕСТВЕННО ИСТИННЫМИ ЯВЛЯЮТСЯ ФОРМУЛЫ

1. ; 3.

2. 4.

10) Обведите номер правильного ответа

ПРИ УПРОЩЕНИИ ФОРМУЛЫ

С ПОМОЩЬЮ ФОРМУЛ РАВНОСИЛЬНОСТИ ОНА ИМЕЕТ ВИД

1. ;

2. ;

3. ;

4. .

11) Обведите номер правильного ответа

ФОРМУЛА

ЗАПИСАННАЯ ЧЕРЕЗ ДИЗЪЮНКЦИЮ И ОТРИЦАНИЕ ИМЕЕТ ВИД

1.

2.

3.

4.

12) Обведите номер правильного ответа

ПРЕДЛОЖЕНИЮ «ТОЛЬКО ОДНО ИЗ ВЫСКАЗЫВАНИЙ А,В,С ИСТИННО» СООТВЕТСТВУЕТ ФОРМУЛА

1.

2. ;

3.

4.

13) Обведите номер правильного ответа

СДНФ НЕКОТОРОЙ ФОРМУЛЫ ДВУХ ПЕРЕМЕННЫХ

1. ;

2. ;

3. ;

4. .

14) Обведите номер правильного ответа

ФОРМУЛА

ЗАПИСАННАЯ В СДНФ ИМЕЕТ ВИД

1.

2.

3.

4.

15) Обведите номер правильного ответа

ОТРИЦАНИЕ ВЫСКАЗЫВАНИЯ

ИМЕЕТ ВИД

1.

2.

3. ;

4.

ПРИЛОЖЕНИЕ Д

Перечень задач по теме «Логика высказываний»

При составлении задач использовалась литература /32, 33, 34, 35/

1) Среди следующих предложений выделить высказывания, установить, истинны они или ложны:

а) Всякий человек имеет брата;

б) Студент университета;

в)

г) Луна есть спутник Марса;

д)

е) Пейте томатный сок!;

ж) Существует человек, который моложе своего отца;

з) Который час?;

и) Ни один человек не может весить 1000кг;

к) Солнце вращается вокруг Земли;

л) Да здравствует солнце, да скроется тьма!

2) Установите, какие из следующих предложений являются высказываниями; высказывательными формами; ни тем, ни другим:

а) 3+2=5;

б) 3<2;

в) ;

г)

д) Число слов в этом предложении равно семи;

е) Осень - лучшая пора года;

ж) Знаете ли вы украинскую ночь?

з) В четырехугольнике противоположные стороны конгруэнтны;

и) Во всяком четырехугольнике противоположные стороны конгруэнтны;

к) Существует число х такое, что ;

л) В городе N более 100000 жителей.

3) Укажите, какие из высказываний в упражнении 2 истинные, а какие ложные.

4) В каждую высказывательными формами из упражнения 2 подставьте значение переменной так, чтобы получилось: истинное высказываний, ложное высказывание.

5) Каждую высказывательную форму из упражнения 2 превратите в истинное с помощью слова «всякий» или «существует».

6) Придумайте по два примера:

а) истинного высказывания;

б) ложного высказывания;

г) высказывательной формы;

д) предложения, не являющегося ни высказыванием, ни высказывательной формой.

7) В данных предложениях выделите составляющие их элементарные предложения и логические связки:

а) Диагонали ромба взаимно перпендикулярны и делят его углы пополам;

б) Я буду изучать немецкий или английский;

в) Если телепатия существует, то некоторые физические законы требуют пересмотра;

г) Треугольник является равносторонним тогда и только тогда, когда все его углы равны.

8) Среди следующих высказываний укажите элементарные и составные. В составных высказываниях выделить логические связки:

а) Число 27 не делится на 3;

б) Число 15 делится на 5 и на 3;

в) Если число 126 делится на 9, то оно делится на 3;

г) Число 7 является делителем числа 42;

д) Число 1269 делится на 9 тогда и только тогда, когда 18 делится на 9.

9) Определите значение истинности следующих высказываний.

а)

б)

в) Если 12 делится на 6, то 12 делится на 3;

г) Если 15 делится на 6, то 15 делится на 3;

д) 15 делится на 6 тогда и только тогда, когда 15 делится на 3;

е) 12 делится на 6 тогда и только тогда, когда 12 делится на 3;

ж) Неверно, что

з)

и)

к)

л)

10) Из предложений «Солнце всходит на востоке» и «Солнце заходит на западе» составьте новые предложения с помощью всех логических связок.

11) Обозначьте элементарные высказывания буквами и запишите следующие высказывания с помощью символов логики высказываний:

а) 45 кратно 3 и 42 кратно 3;

б) 45 кратно 3 и 12 не кратно 3;

в) или ;

г) ;

д) Если число 212 делится на 3 и 4, то оно делится на 12;

е) Число 212 - трехзначное и кратно 3 или 4.

12) Пусть р и q обозначают высказывания: р - «Я учусь в школе», q - «Я люблю математику».

Прочтите следующие сложные высказывания:

а) ; б) ; в) ; г) ; д) ; e) ; ж) .

13) Определите значение истинности следующих высказываний:

1) Париж расположен на Сене и 2+3=5;

2) 1 - простое число и 2 - простое число;

3) 1 - простое число или 2 - простое число;

4) или белые медведи живут в Африке.

14) Определите значение истинности высказываний А,В,С и D, если:

1) - истинное высказывание;

2) - ложное высказывание;

3) - истинное высказывание;

4) - ложное высказывание.

15) Пусть x, y, z и t означают соответственно «7 - простое число», «7 - составное число», «8 - простое число», «8 - составное число».

а) Какие из предложений

истинны, а какие ложны

б) То же с заменой конъюнкции на дизъюнкцию.

в) То же для предложений

16) Сформулируйте отрицание следующих высказываний:

1) Луна - спутник Марса;

2) 32 не делится на 4;

3)

4)

5) Все простые числа нечетны.

17) Пусть через А обозначено высказывание «9 делится на 3», а через В высказывание «10 делится на 3». Определите значение истинности следующих высказываний:

а) б) в) г) д) е) ж) з) и) к) л) м)

18) Запишите символически следующие сложные предложения, используя буквы для обозначения простых компонентов предложения:

a) Идет дождь или кто-то не выключил душ.

b) Если вечером будет туман, то Джон или останется дома, или должен будет взять такси.

c) Джон сядет, и он или Джордж будут ждать.

d) Джон сядет и будет ждать или Джордж будет ждать.

e) Я поеду или на автобусе, или на такси.

f) Ни Север, ни Юг не победили в гражданской войне.

g) Хлеба уцелеют тогда и только тогда, когда будут вырыты ирригационные канавы; если хлеба не уцелеют, то фермеры обанкротятся и оставят фермы.

h) Если я устал или голоден, я не могу заниматься.

i) Если Джон встанет и пойдет в школу, он будет доволен, а если он не встанет, он не будет доволен.

19) Следующие высказывания расчлените на простые высказывания, обозначьте их буквами и запишите в виде логической формулы.

a) Если мистер Джонс счастлив, то миссис Джонс несчастлива, и если мистер Джонс несчастлив, то миссис Джонс счастлива.

b) Если ни в Варшаву мы не поедем, ни в горы мы не отправимся, то мы ежедневно будем ходить на пляж или, если будет дождь, будем читать дома книги.

c) Если «Спартак» и «Динамо» проиграют, а «Торпедо» выиграет, то «Локомотив» потеряет первое место, а на третье место выйдет «Зенит».

20) Сформулируйте отрицания следующих высказываний в утвердительной форме, т.е. так, чтобы они не начинались со слов «неверно, что».

Образец: «Если летом будет дождливая погода, то ни купаться, ни загорать нам не удастся».

Решение: Обозначим высказывания: А - «Летом будет дождливая погода», В - «Нам удастся загорать», С - «Нам удастся накупаться». Тогда исходное высказывание имеет формулу:

Составим его отрицание и упростим его:

Эта формула соответствует высказыванию «Летом будет дождливая погода и нам удастся либо накупаться, либо загорать».

a) Если я поздно приду на остановку и не смогу сесть в автобус, то опоздаю на занятия и пропущу интересную лекцию.

b) Если завтра будет воскресенье или в институте не будет занятий, то ко мне придут друзья и мы послушаем музыку.

c) После обеда я отправлюсь на прогулку в парк или, если ко мне зайдет приятель, буду играть с ним в шахматы или мы посмотрим кино.

21) Следующие предложения запишите в виде логической формулы.

а) Только одно из высказываний А,В и С истинно;

б) По крайней мере одно из высказываний А, В и С истинно;

в) Только одно из высказываний А, В и С ложно;

г) Только два из высказываний А, В и С истинны;

д) Только два из высказываний А, В и С ложны.

22) Проверить, составляя таблицы истинности, являются ли следующие формулы тождественно истинными:

а) ; б) в) г) д)е) ж) з) и) к) л) м)

23) Показать, что формулы

имеют ту же таблицу истинности, что и импликация .

24) Докажите равносильность следующих формул:

а) б) в)

г) д)

е) ж)

25) Упростите формулы, т.е. замените их на равносильные формулы более простого вида:

а) 

б)

в) ;

г)

д)

26) Доказать тождественную истинность или тождественную ложность формул:

а)

б)

в)

г)

27) Разберитесь в предложенном доказательстве равносильности формул. Около каждого знака = укажите закон, который применен:

Доказательство:

28) Выразите все основные операции через дизъюнкцию, конъюнкцию и отрицание.

29) Выпишите все формулы, входящие в формулу:

30) Формализуйте следующие высказывания:

1) 2 -простое число и 3 - простое число;

2) Ломоносов - великий ученый и талантливый поэт;

3) Число п делится на 2 или на 3;

4) Высказывание А истинно или ложно;

5) Скрещивающиеся прямые не лежат на одной плоскости;

6) Неверно, что две стороны трапеции конгруэнтны и параллельны;

7) 100 не делится ни на 3, ни на 7;

8) Я сделаю зарядку и, если будет хорошая погода, поеду за город;

9) Четырехугольник является квадратом тогда и только тогда, когда все его стороны и все углы конгруэнтны;

10) Две плоскости параллельны тогда и только тогда, когда они не имеют общих точек или совпадают.

31) Формализуйте следующие высказывания:

1) «Пока родители живы, не уезжай далеко; а если уехал, обязательно живи в определенном месте» (Конфуций).

2) «Добродетель, милый мой студент, не делится на части; или она есть, или ее нет» (О. Бальзак. Отец Горио).

3) «Ибо нет другого способа оградить себя от лести, как внушив людям, что, если они выскажут тебе всю правду, ты не будешь на них в обиде, но, когда каждый сможет говорить тебе правду, тебе перестанут оказывать должное почтение» (Н. Макиавелли. Государь).

4) «Альтернатива известна: либо мы не свободны и ответ на зло лежит на всемогущем боге, либо мы свободны и ответственны, а бог не всемогущ» (А. Камю. Бунтующий человек).

5) Желание возникает из разума, только если оно может быть чрезмерным.

33) Для каждой формулы придумайте два формализуемых ее высказывания:

1)

2)

3)

4)

34) Составьте таблицы истинности для формул:

1)

2)

3)

4)

5)

35) Сформулируйте предложения, которые, согласно законам де Моргана, выражают то же, что и следующие высказывания:

1) Неверно, что треугольник АВС - прямоугольный и равнобедренный;

2) Неверно, что число 9 - четное или простое;

3) Неверно, что каждое из чисел т и п четно;

4) Неверно, что хотя бы одно из чисел r и s - простое;

5) Я не высплюсь или опоздаю.

36) Перечислите равносильности, использованные при следующих упрощениях:

37) Упростите следующие формулы с помощью законов склеивания:

1)

2)

3)

38) Сформулируйте теорему «Если векторы перпендикулярны, то их скалярное произведение равно нулю», заменив связку «если…, то…» связками «или» и «не».

39) Сформулируйте предложение «Две формулы равносильны тогда и только тогда, когда они имеют одинаковые таблицы истинности», заменив связку «тогда и только тогда, когда» связками:

а) «и» и «если…, то…»;

б) «и»,«или» и «не»;

в) «или» и «не».

40) Студент решил в каникулы прочитать не менее двух книг, сходить в театр или на концерт и, если выпадет снег, съездить за город на лыжную прогулку. В каком случае можно считать, что он свое решение не выполнил?

41) В одном спортивном клубе были приняты такие правила:

1) члены волейбольной секции обязаны заниматься и в секции плавания;

2) нельзя состоять одновременно в шахматной секции и в секции плавания, не занимаясь в волейбольной секции;

3) ни один член шахматной секции не может состоять в волейбольной секции.

Упростите эти правила.

42) Формализуйте с помощью штриха Шеффера предложения:

1) Противоположные стороны трапеции не конгруэнтны и не параллельны;

2) Неверно, что функция f - четная и возрастающая на множестве всех действительных чисел.

43) Выразите через штрих Шеффера:

а) дизъюнкцию,

б) импликацию,

в) эквивалентность.

44) Какое предложение соответствует формуле

если Х означает «Петр едет на Урал», а Y - «Николай едет в Сибирь».

45) Пусть С будет «сегодня ясно», R-- «сегодня идет дождь», S -- «сегодня идет снег» и У-- «вчера было пасмурно». Переведите на обычный язык следующие предложения:

a)

b)

c)

d)

e)

f) образец

если сегодня ясно, то неверно, что сегодня дождь или сегодня идет снег.

46) Составьте таблицы истинности следующих формул алгебры высказываний:

a)

b)

c)

d)

e)

47) Упростите формулы, используя равносильные преобразования:

a)

Образец решения:

b)

c)

d)

48) Докажите равносильности двумя способами: составлением таблиц истинности обеих частей равносильности и равносильным преобразованием одной или обеих частей.

Образец решения:

e)

f)

g)

49) Приведите к СДНФ и СКНФ аналитическим и табличным способами.

h) ;

i) ;

j) ;

k) .

50) Установите какие из данных формул являются ДНФ, СДНФ, КНФ, СКНФ формул с переменными х, у и z:

a)

b)

c)

d)

e)

f)

g)

51) Приведите следующие формулы к СДНФ с помощью равносильных преобразований:

a)

b)

c)

d)

e)

f)

52) Приведите следующие формулы к СКНФ с помощью равносильных преобразований:

a)

b)

c)

d)

e)

f)

53) Постройте алгоритм решения логических задач методом характеристических уравнений второго типа.

1) «Живописная» экспертиза. Одному небедному коллекционеру принесли картину, якобы принадлежащую кисти Антонио Канале, прозванному Каналетто. Коллекционер не был большим знатоком живописи и пригласил на экспертизу трех специалистов. Эксперты А, В и С высказали о картине следующие суждения:

А: Это не только не Каналетто, но даже не Гварди.

В: Это действительно не Каналетто, но это настоящий Алессандро Маньяско.

С: Конечно, это не Маньяско, это, несомненно, Антонио Канале.

Впоследствии объективными методами было установлено авторство картины, и оказалось, что один из экспертов сказал правду, другой ошибся, а третий был прав наполовину. Кто автор картины?

2) На собрании. Если Борис (Б) не пришел на собрание, то отсутствует и Алексей (А). Если Борис пришел на собрание, то присутствуют Алексей и Валерий (В). 1. Обязательно ли присутствует на собрании Алексей, если Валерий отсутствует? 2. Присутствует ли на собрании Валерий, если Алексей присутствует.

3) Обед с логикой. N хотел пригласить на обед по возможности больше соседей: А, В, С, D, Е, F, G, Н. При этом он столкнулся со следующими трудностями:

1) А никогда не придет, если пригласить В или С или если одновременно пригласить D и Е.

2) D придет только в том случае, если будет приглашен и Е.

3) Е не примет приглашения, если придет В.

4) F наносит визиты только в сопровождении G.

5) Н не будет возражать против присутствия F только в том случае, если будет приглашен и А.

Если не будет приглашен F, то Н будет против приглашения Е.

Чтобы пришел G, необходимо пригласить D или Н.

8) G откажется от приглашения, если пригласят Е без А, а также в случае приглашения В или С.

Какое минимальное число гостей и кого именно мог пригласить N?

4) (Кто изучал математическую логику). На вопрос; «Кто из трёх учащихся изучал математическую логику?» получен верный ответ - «Если изучал первый, то изучал и третий, но неверно, что если изучал второй, то изучал и третий». Кто изучал математическую логику?

5) (Кто сдал экзамен). Определите, кто из четырех учеников сдал экзамен, если известно:

Если первый сдал, то и второй сдал.

Если второй сдал, то третий сдал или первый не сдал.

Если четвертый не сдал, то первый сдал, а третий не сдал.

Если четвертый сдал, то и первый сдал.

ПРИЛОЖЕНИЕ Е

Описание программы решения логических задач «Логика»

Программа «Логика» предназначена для повторения и закрепления темы «Логика высказываний». Она может использоваться учителем на классных занятиях, для работы на факультативах и для самостоятельной работы учащихся. При использовании программы повторяются основные теоретические вопросы изучаемой темы, навыки решения задач (построение таблицы истинности, построение СДНФ). Программа имеет красочное оформление и обеспечивает активизацию познавательной деятельности школьника.

Программа написана в Delphi 7, для создания графики использовался графический редактор Рhotoshop 8.

Интерфейс программы выглядит следующим образом:

Кнопки с символами операций, именами переменных и скобками предназначены для ввода логической формулы. Кнопка «Сброс» очищает окно ввода. Для построения таблицы истинности учащемуся необходимо выделить этапы вычислений и ввести их в соответствующую строку ввода. Логическую формулу можно загрузить из файла, для чего нужно обратиться к пункту «файл» главного меню и выбрать опцию «Открыть».

После введения нужной информации учащийся получает таблицу истинности, которая отображается в отдельном окне

По построенной таблице истинности при нажатии кнопки «Построение СДНФ» учащийся получает СДНФ для введенной формулы.



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

Программа снабжена справочной системой. В справку включены теоретические сведения и примеры решения задач. Доступ к справке осуществляется через пункт меню «Справка».

Листинг программы

unit Unit1;

interface

uses

Windows, Messages, SysUtils, Variants, Classes, Graphics, Controls, Forms,

Dialogs, jpeg, ExtCtrls, StdCtrls, Menus, Buttons;

type

TForm1 = class(TForm)

MainMenu1: TMainMenu;

N1: TMenuItem;

N2: TMenuItem;

N4: TMenuItem;

N5: TMenuItem;

N11: TMenuItem;

N21: TMenuItem;

N6: TMenuItem;

N7: TMenuItem;

N8: TMenuItem;

N9: TMenuItem;

Panel2: TPanel;

Panel1: TPanel;

Edit1: TEdit;

Label1: TLabel;

Image1: TImage;

Image2: TImage;

Image3: TImage;

Image4: TImage;

Image5: TImage;

Image6: TImage;

Image7: TImage;

Image9: TImage;

Image8: TImage;

Image10: TImage;

BitBtn1: TBitBtn;

Image11: TImage;

Image12: TImage;

Image13: TImage;

Label3: TLabel;

Label4: TLabel;

Edit2: TEdit;

Edit3: TEdit;

BitBtn2: TBitBtn;

Label2: TLabel;

Label5: TLabel;

Label6: TLabel;

Edit4: TEdit;

BitBtn3: TBitBtn;

Edit5: TEdit;

Image14: TImage;

N31: TMenuItem;

N10: TMenuItem;

N12: TMenuItem;

N13: TMenuItem;

N14: TMenuItem;

OpenDialog1: TOpenDialog;

N3: TMenuItem;

procedure Image2Click(Sender: TObject);

procedure Image3Click(Sender: TObject);

procedure Image7Click(Sender: TObject);

procedure Image4Click(Sender: TObject);

procedure Image5Click(Sender: TObject);

procedure Image1Click(Sender: TObject);

procedure Image6Click(Sender: TObject);

procedure Image9Click(Sender: TObject);

procedure Image8Click(Sender: TObject);

procedure Image10Click(Sender: TObject);

procedure FormShow(Sender: TObject);

procedure Image11Click(Sender: TObject);

procedure Image12Click(Sender: TObject);

procedure BitBtn2Click(Sender: TObject);

procedure BitBtn3Click(Sender: TObject);

procedure Image13Click(Sender: TObject);

procedure Edit5Change(Sender: TObject);

procedure BitBtn1Click(Sender: TObject);

procedure Image14Click(Sender: TObject);

procedure N4Click(Sender: TObject);

procedure N2Click(Sender: TObject);

procedure N11Click(Sender: TObject);

procedure N10Click(Sender: TObject);

procedure N12Click(Sender: TObject);

procedure N13Click(Sender: TObject);

procedure N14Click(Sender: TObject);

procedure N9Click(Sender: TObject);

procedure N3Click(Sender: TObject);

private

{ Private declarations }

public

{ Public declarations }

end;

var

Form1: TForm1;

n,k:integer;

s:array[1..5] of char ;

g:array[1..50] of integer;

implementation

uses Unit3, Unit2, Unit5;

{$R *.dfm}

procedure TForm1.Image2Click(Sender: TObject);

begin

If Form3.Visible=true then begin

Edit4.Text:=Edit4.Text+'v';

n:=n+1 ;

//Setlength(s,n);

s[n]:='v';

end

Else

Edit1.Text:=Edit1.Text+'v'

end;

procedure TForm1.Image3Click(Sender: TObject);

begin

If Form3.Visible=true then begin

Edit4.Text:=Edit4.Text+'&';

n:=n+1 ;

s[n]:='&';

end

Else

Form1.Edit1.Text:=Edit1.Text+'&'

end;

procedure TForm1.Image7Click(Sender: TObject);

begin

If Form3.Visible=true then begin

Edit4.Text:=Edit4.Text+'г';

n:=n+1 ;

s[n]:='г';

end

Else

Form1.Edit1.Text:=Edit1.Text+'г'

end;

procedure TForm1.Image4Click(Sender: TObject);

begin

If Form3.Visible=true then begin

Edit4.Text:=Edit4.Text+'~';

n:=n+1 ;

s[n]:='~';

end

Else

Form1.Edit1.Text:=Edit1.Text+'~'

end;

procedure TForm1.Image5Click(Sender: TObject);

begin

If Form3.Visible=true then begin

Edit4.Text:=Edit4.Text+'|';

n:=n+1 ;

s[n]:='|';

end

Else

Form1.Edit1.Text:=Edit1.Text+'|'

end;

procedure TForm1.Image1Click(Sender: TObject);

begin

If Form3.Visible=true then begin

Edit4.Text:=Edit4.Text+'->';

n:=n+1 ;

s[n]:='>';

end

Else

Form1.Edit1.Text:=Edit1.Text+'->'

end;

procedure TForm1.Image6Click(Sender: TObject);

begin

If Form3.Visible=true then begin

Edit4.Text:=Edit4.Text+'!';

n:=n+1 ;

s[n]:='!';

end

Else

Form1.Edit1.Text:=Edit1.Text+'!'

end;

procedure TForm1.Image9Click(Sender: TObject);

begin

Form1.Edit1.Text:=Edit1.Text+'('

end;

procedure TForm1.Image8Click(Sender: TObject);

begin

Form1.Edit1.Text:=Edit1.Text+')'

end;

procedure TForm1.Image10Click(Sender: TObject);

begin

If Form3.Visible=true then

begin

Edit4.Text:='';

n:=0;

end

Else

Form1.Edit1.Text:=''

end;

procedure TForm1.FormShow(Sender: TObject);

begin

n:=0;

end;

procedure TForm1.Image11Click(Sender: TObject);

begin

If Form3.Visible=true then begin

Edit4.Text:=Edit4.Text+'A';

n:=n+1 ;

s[n]:='A';

end

Else

Form1.Edit1.Text:=Edit1.Text+'A'

end;

procedure TForm1.Image12Click(Sender: TObject);

begin

If Form3.Visible=true then begin

Edit4.Text:=Edit4.Text+'B';

n:=n+1 ;

s[n]:='B';

end

Else

Form1.Edit1.Text:=Edit1.Text+'B'

end;

procedure TForm1.BitBtn2Click(Sender: TObject);

begin

Form3.Show;

k:=0

end;

procedure TForm1.BitBtn3Click(Sender: TObject);

var i,j:integer ;

Rez,t,h:boolean;

v:array[1..4] of boolean;

r:array[1..50] of boolean;

begin

k:=k+1;

Form3.StringGrid1.Cells[k+StrToInt(Edit2.Text),0]:=Edit4.Text;

Edit4.Text:='';

if k<= (StrToInt(Edit3.Text)-1) then

Label2.Caption:= 'Введите'+' '+Inttostr(k+1)+' '+'шаг';

//вычисление

For j:=1 to Form3.StringGrid1.RowCount-1 do

Begin

For i:=1 to StrToInt(Edit2.Text) do

If Form3.StringGrid1.Cells[i,j]='1' then v[i]:=true

else v[i]:=false;

For i:=1 to k do

If Form3.StringGrid1.Cells[StrToInt(Edit2.Text)+i,j]='1' then r[i]:=true

else r[i]:=false;

If ((s[1]='г') and ((s[2] in ['A'..'D'])or(s[2]='R')) and (n=2)) then

Begin

If s[2]='A' then t:=v[1]

else

If s[2]='B' then t:=v[2]

else

If s[2]='C' then t:=v[3]

else

If s[2]='D' then t:=v[4]

else

If (s[2]='R') then

For i:=1 to k+1 do

If g[2]=i then t:=r[i];

Rez:=(not(t));

end

else

If (((s[2] in ['A'..'D'])or(s[2]='R'))and ((s[5] in ['A'..'D'])or(s[5]='R')))

then

Begin

If s[2]='A' then t:=not(v[1])

else

If s[2]='B' then t:=not(v[2])

else

If s[2]='C' then t:=not(v[3])

else

If s[2]='D' then t:=not(v[4])

else

If (s[2]='R') then

For i:=1 to k+1 do

If g[2]=i then t:=not(r[i]);

If s[5]='A' then h:=not(v[1])

else

If s[5]='B' then h:=not(v[2])

else

If s[5]='C' then h:=not(v[3])

else

If s[5]='D' then h:=not(v[4])

else

If (s[5]='R') then

For i:=1 to k+1 do

If g[5]=i then h:=not(r[i]);

case s[3] of

'v': Rez:=(t or h);

'&': Rez:=(t and h);

'>': Rez:=(not(t) or h);

'~': Rez:=((not(t) or h)and(not(h) or t));

'|': Rez:=not(t and h);

'!': Rez:=not(t or h);

else

ShowMessage('Неправильно выделен шаг вычислений')

end

end

else

If (((s[1] in ['A'..'D'])or(s[1]='R'))and ((s[4] in ['A'..'D'])or(s[4]='R')))

then

Begin

If s[1]='A' then t:=v[1]

else

If s[1]='B' then t:=v[2]

else

If s[1]='C' then t:=v[3]

else

If s[1]='D' then t:=v[4]

else

If (s[1]='R') then

For i:=1 to k+1 do

If g[1]=i then t:=r[i];

If s[4]='A' then h:=not(v[1])

else

If s[4]='B' then h:=not(v[2])

else

If s[4]='C' then h:=not(v[3])

else

If s[4]='D' then h:=not(v[4])

else

If (s[4]='R') then

For i:=1 to k+1 do

If g[4]=i then h:=not(r[i]);

case s[2] of

'v': Rez:=(t or h);

'&': Rez:=(t and h);

'>': Rez:=(not(t) or h);

'~': Rez:=((not(t) or h)and(not(h) or t));

'|': Rez:=not(t and h);

'!': Rez:=not(t or h);

else

ShowMessage('Неправильно выделен шаг вычислений')

end

end

else

If (((s[2] in ['A'..'D'])or(s[2]='R'))and ((s[4] in ['A'..'D'])or(s[4]='R')))

then

Begin

If s[2]='A' then t:=not(v[1])

else

If s[2]='B' then t:=not(v[2])

else

If s[2]='C' then t:=not(v[3])

else

If s[2]='D' then t:=not(v[4])

else

If (s[2]='R') then

For i:=1 to k+1 do

If g[2]=i then t:=not(r[i]);

If s[4]='A' then h:=v[1]

else

If s[4]='B' then h:=v[2]

else

If s[4]='C' then h:=v[3]

else

If s[4]='D' then h:=v[4]

else

If (s[4]='R') then

For i:=1 to k+1 do

If g[4]=i then h:=r[i];

case s[3] of

'v': Rez:=(t or h);

'&': Rez:=(t and h);

'>': Rez:=(not(t) or h);

'~': Rez:=((not(t) or h)and(not(h) or t));

'|': Rez:=not(t and h);

'!': Rez:=not(t or h);

else

ShowMessage('Неправильно выделен шаг вычислений')

end

end

else

If (((s[1] in ['A'..'D'])or(s[1]='R'))and ((s[3] in ['A'..'D'])or(s[3]='R')))

then

Begin

If s[1]='A' then t:=v[1]

else

If s[1]='B' then t:=v[2]

else

If s[1]='C' then t:=v[3]

else

If s[1]='D' then t:=v[4]

else

If (s[1]='R') then

For i:=1 to k+1 do

If g[1]=i then t:=r[i];

If s[3]='A' then h:=v[1]

else

If s[3]='B' then h:=v[2]

else

If s[3]='C' then h:=v[3]

else

If s[3]='D' then h:=v[4]

else

If (s[3]='R') then

For i:=1 to k+1 do

If g[3]=i then h:=r[i];

case s[2] of

'v': Rez:=(t or h);

'&': Rez:=(t and h);

'>': Rez:=(not(t) or h);

'~': Rez:=((not(t) or h)and(not(h) or t));

'|': Rez:=not(t and h);

'!': Rez:=not(t or h);

else

ShowMessage('Неправильно выделен шаг вычислений')

end

end ;

If (Rez=True) then Form3.StringGrid1.Cells[k+strtoint(Edit2.Text),j]:='1'

else Form3.StringGrid1.Cells[k+strtoint(Edit2.Text),j]:='0';

End ;

n:=0

end;

procedure TForm1.Image13Click(Sender: TObject);

begin

If Form3.Visible=true then begin

Edit4.Text:=Edit4.Text+'C';

n:=n+1 ;

s[n]:='C';

end

Else

Form1.Edit1.Text:=Edit1.Text+'C'

end;

procedure TForm1.Edit5Change(Sender: TObject);

var i:integer;

begin

Edit4.Text:=Edit4.Text+'rez'+Edit5.Text;

n:=n+1 ;

For i:=1 to strtoint(Edit3.Text) do

if strtoint(Edit5.Text)=i

then begin s[n]:='R'; g[n]:=i end;

end;

procedure TForm1.BitBtn1Click(Sender: TObject);

begin

form2.Show;

end;

procedure TForm1.Image14Click(Sender: TObject);

begin

If Form3.Visible=true then begin

Edit4.Text:=Edit4.Text+'D';

n:=n+1 ;

s[n]:='D';

end

Else

Form1.Edit1.Text:=Edit1.Text+'D'

end;

procedure TForm1.N4Click(Sender: TObject);

begin

Close;

end;

procedure TForm1.N2Click(Sender: TObject);

var OpenDialog1:TOpenDialog;

MyFileName:AnsiString;

f:textfile;

formula:AnsiString;

begin

OpenDialog1:=TOpenDialog.Create(Form1);

if OpenDialog1.Execute then

Begin

MyFileName:=OpenDialog1.FileName;

Assignfile(F,MyFileName) ;

Reset( F);

ReadLn(F,formula);

Edit1.Text:=formula;

End

end;

procedure TForm1.N11Click(Sender: TObject);

begin

Form5.Show

end;

procedure TForm1.N10Click(Sender: TObject);

begin

Application.HelpFile := 'ВЫСКАЗЫВАНИЯ.hlp';

Application.HelpJump('TApplication_HelpJump');

end;

procedure TForm1.N12Click(Sender: TObject);

begin

Application.HelpFile := 'ОПЕРАЦИИ.hlp';

Application.HelpJump('TApplication_HelpJump');

end;

procedure TForm1.N13Click(Sender: TObject);

begin

Application.HelpFile := 'ДНФ И КНФ.hlp';

Application.HelpJump('TApplication_HelpJump');

end;

procedure TForm1.N14Click(Sender: TObject);

begin

Application.HelpFile := 'СДНФ.hlp';

Application.HelpJump('TApplication_HelpJump');

end;

procedure TForm1.N9Click(Sender: TObject);

begin

Application.HelpFile := 'ПРИМЕР.hlp';

Application.HelpJump('TApplication_HelpJump');

end;

procedure TForm1.N3Click(Sender: TObject);

begin

Application.HelpFile := 'РАВНОСИЛЬНОСТИ.hlp';

Application.HelpJump('TApplication_HelpJump');

end;

end.

unit Unit2;

interface

uses

Windows, Messages, SysUtils, Variants, Classes, Graphics, Controls, Forms,

Dialogs, jpeg, ExtCtrls;

type

TForm2 = class(TForm)

Image1: TImage;

private

{ Private declarations }

public

{ Public declarations }

end;

var

Form2: TForm2;

implementation

{$R *.dfm}

end.

unit Unit3;

interface

uses

Windows, Messages, SysUtils, Variants, Classes, Graphics, Controls, Forms,

Dialogs, Grids, StdCtrls, Buttons, ExtCtrls;

type

TForm3 = class(TForm)

StringGrid1: TStringGrid;

Panel1: TPanel;

BitBtn1: TBitBtn;

Panel2: TPanel;

procedure FormShow(Sender: TObject);

procedure BitBtn1Click(Sender: TObject);

private

{ Private declarations }

public

{ Public declarations }

end;

var

Form3: TForm3;

implementation

uses Unit2, Unit1, Unit4;

{$R *.dfm}

procedure TForm3.FormShow(Sender: TObject);

var k,s,i,j,d:integer;

F:textfile;

begin

StringGrid1.ColCount:=1+strtoint(Form1.Edit2.Text)+strtoint(Form1.Edit3.Text);

k:=StrToInt(Form1.Edit2.Text);

s:=2 ;

For i:=1 to k-1 do

s:=s*2;

StringGrid1.RowCount:=s+1;

If k=2 then begin AssignFile(F,'matr2.txt'); StringGrid1.Cells[1,0]:='A'; StringGrid1.Cells[2,0]:='B'; For i:=1 to 4 do StringGrid1.Cells[0,i]:=inttostr(i)end

else

If k=3 then begin AssignFile(F,'matr3.txt');StringGrid1.Cells[1,0]:='A'; StringGrid1.Cells[2,0]:='B';StringGrid1.Cells[3,0]:='C'; For i:=1 to 8 do StringGrid1.Cells[0,i]:=inttostr(i)end

else

If k=4 then begin AssignFile(F,'matr4.txt');StringGrid1.Cells[1,0]:='A'; StringGrid1.Cells[2,0]:='B';StringGrid1.Cells[3,0]:='C'; StringGrid1.Cells[4,0]:='D'; For i:=1 to 16 do StringGrid1.Cells[0,i]:=inttostr(i)end

Reset(F);

for i:=1 to s do begin

for j:=1 to k do

begin

Read(F,d);

StringGrid1.Cells[j,i]:=inttostr(d);

end;

readln(F) ;

end;

CloseFile(F)

end;

procedure TForm3.BitBtn1Click(Sender: TObject);

begin

Form4.Show;

end;

end.

unit Unit4;

interface

uses

Windows, Messages, SysUtils, Variants, Classes, Graphics, Controls, Forms,

Dialogs, StdCtrls, ExtCtrls;

type

TForm4 = class(TForm)

Panel1: TPanel;

Panel2: TPanel;

Edit1: TEdit;

Edit2: TEdit;

Label1: TLabel;

Label2: TLabel;

procedure FormShow(Sender: TObject);

private

{ Private declarations }

public

{ Public declarations }

end;

var

Form4: TForm4;

implementation

uses Unit1, Unit3;

{$R *.dfm}

procedure TForm4.FormShow(Sender: TObject);

var i,j:integer;

begin

Edit2.Text:=form1.Edit1.Text;

For i:=1 to (form3.StringGrid1.RowCount-1) do

If form3.StringGrid1.Cells[(form3.StringGrid1.ColCount-1),i]='1' then

begin

if Edit1.Text<>'' then

Edit1.Text:=Edit1.Text+'v';

For j:=1 to strtoint(Form1.Edit2.text)do

If form3.StringGrid1.Cells[j,i]='1'

then

Edit1.Text:=Edit1.Text+form3.StringGrid1.Cells[j,0]

else

Edit1.Text:=Edit1.Text+'г'+form3.StringGrid1.Cells[j,0];

end ;

end;

end.

unit Unit5;

interface

uses

Windows, Messages, SysUtils, Variants, Classes, Graphics, Controls, Forms,

Dialogs, ComCtrls, StdCtrls, ExtCtrls, Buttons, jpeg;

type

TForm5 = class(TForm)

Panel2: TPanel;

Panel1: TPanel;

Label1: TLabel;

Edit1: TEdit;

Image1: TImage;

Edit3: TEdit;

Image2: TImage;

RadioGroup1: TRadioGroup;

Image3: TImage;

RadioGroup2: TRadioGroup;

Image5: TImage;

RadioGroup3: TRadioGroup;

Image4: TImage;

Edit4: TEdit;

Image6: TImage;

RadioGroup4: TRadioGroup;

Image7: TImage;

Edit5: TEdit;

Image8: TImage;

RadioGroup5: TRadioGroup;

Image9: TImage;

RadioGroup6: TRadioGroup;

Image10: TImage;

Edit6: TEdit;

Image11: TImage;

Image12: TImage;

Image13: TImage;

Image14: TImage;

Image15: TImage;

Image16: TImage;

ListBox1: TListBox;

ListBox2: TListBox;

ListBox3: TListBox;

ListBox4: TListBox;

ListBox5: TListBox;

ListBox6: TListBox;

ListBox7: TListBox;

ListBox8: TListBox;

ListBox9: TListBox;

ListBox10: TListBox;

ListBox11: TListBox;

BitBtn1: TBitBtn;

Label2: TLabel;

Label3: TLabel;

Label4: TLabel;

Label5: TLabel;

Label6: TLabel;

Label7: TLabel;

Label8: TLabel;

Image17: TImage;

Image18: TImage;

Image19: TImage;

Image20: TImage;

Image21: TImage;

Image22: TImage;

Image23: TImage;

Image24: TImage;

procedure BitBtn1Click(Sender: TObject);

private

{ Private declarations }

public

{ Public declarations }

end;

var

Form5: TForm5;

implementation

uses Unit6;

{$R *.dfm}

procedure TForm5.BitBtn1Click(Sender: TObject);

var k,ball:integer;

begin

Form6.Show;

Form6.Label1.Caption:=Edit1.text;

k:=0;

Ball:=0;

If Edit3.Text='таблицы истинности' then begin k:=k+1; Ball:=Ball+2 end;

If RadioGroup1.ItemIndex=0 then begin k:=k+1; Ball:=Ball+2 end;

If RadioGroup2.ItemIndex=3 then begin k:=k+1; Ball:=Ball+3 end;

If RadioGroup3.ItemIndex=1 then begin k:=k+1; Ball:=Ball+2 end;

If Edit4.Text='КНФ' then begin k:=k+1; Ball:=Ball+3 end;

If RadioGroup4.ItemIndex=0 then begin k:=k+1; Ball:=Ball+2 end;

If Edit5.Text='СДНФ' then begin k:=k+1; Ball:=Ball+4 end;

If RadioGroup5.ItemIndex=0 then begin k:=k+1; Ball:=Ball+3 end;

If RadioGroup6.ItemIndex=2 then begin k:=k+1; Ball:=Ball+4 end;

If Edit6.Text='аналитический и табличный' then begin k:=k+1; Ball:=Ball+3 end;

If ((Listbox1.ItemIndex=2)and(Listbox2.ItemIndex=1)and(Listbox3.ItemIndex=4)and(Listbox4.ItemIndex=3))

then begin k:=k+1; Ball:=Ball+5 end;

If ((Listbox5.ItemIndex=4)

and(Listbox6.ItemIndex=3)

and(Listbox7.ItemIndex=8)

and(Listbox8.ItemIndex=1)

and(Listbox9.ItemIndex=6)

and(Listbox10.ItemIndex=2)

and(Listbox11.ItemIndex=5))

then begin k:=k+1; Ball:=Ball+1 end;

Ball:=round( 2.94*Ball);

Form6.Label2.Caption:='Количество правильных ответов'+' '+inttostr(k);

Form6.Label3.Caption:='Количество неправильных ответов'+' '+inttostr(12-k);

Form6.Label4.Caption:='Количество баллов'+' '+inttostr(Ball);

end;

end.

unit Unit6;

interface

uses

Windows, Messages, SysUtils, Variants, Classes, Graphics, Controls, Forms,

Dialogs, StdCtrls, ExtCtrls, Buttons;

type

TForm6 = class(TForm)

Panel1: TPanel;

Panel2: TPanel;

Label1: TLabel;

Label2: TLabel;

Label3: TLabel;

Label4: TLabel;

BitBtn1: TBitBtn;

procedure BitBtn1Click(Sender: TObject);

private

{ Private declarations }

public

{ Public declarations }

end;

var

Form6: TForm6;

implementation

uses Unit7;

{$R *.dfm}

procedure TForm6.BitBtn1Click(Sender: TObject);

begin

Form7.Show

end;

end.

unit Unit7;

interface

uses

Windows, Messages, SysUtils, Variants, Classes, Graphics, Controls, Forms,

Dialogs, jpeg, ExtCtrls;

type

TForm7 = class(TForm)

Image1: TImage;

private

{ Private declarations }

public

{ Public declarations }

end;

var

Form7: TForm7;

implementation

{$R *.dfm}

end.