Практическая работа «Построение таблиц истинности сложных высказываний»
методическая разработка по информатике и икт (11 класс) по теме
Простым называется высказывание, которое не содержит в себе других высказываний. Если несколько простых высказываний объединены в одно с помощью логических операций, то такое высказывание называется сложным.
Скачать:
Вложение | Размер |
---|---|
prakticheskaya_rabota1.doc | 133 КБ |
Предварительный просмотр:
Практическая работа № 1
«Построение таблиц истинности сложных высказываний»
Основные понятия и определения
Простым называется высказывание, которое не содержит в себе других высказываний.
Если несколько простых высказываний объединены в одно с помощью логических операций, то такое высказывание называется сложным.
Вычисление значений логических выражений выполняется в определенном порядке, согласно их приоритету:
- инверсия;
- конъюнкция;
- дизъюнкция;
- импликация и эквивалентность.
Операции одного приоритета выполняются слева направо. Для изменения порядка действий используются скобки.
Таблица истинности - это таблица, устанавливающая соответствие между всеми возможными наборами логических переменных, входящих в логическую функцию и значениями функции.
Алгоритм построения таблицы истинности сложного высказывания (на примере n=3, где n – количество составляющих простых высказываний):
- Вычислить количество строк таблицы истинности.
Пусть сложное высказывание состоит из n простых. Тогда число строк в таблице истинности 2n (так как каждое высказывание может принимать лишь два значения - 0 или 1).
- Начертить таблицу и заполнить первые 3 столбца.
Имеем 23 = 8 строк.
- 8 : 2 = 4 В 1-м столбце чередуем 4 нуля и 4 единицы
- 4 : 2 = 2 В 2-м столбце чередуем 2 нуля и 2 единицы
- 2 : 2 = 1 В 3-м столбце чередуем 1 ноль и 1 единицу.
Таким образом, все возможные варианты учтены и никакие два не совпадают. Фактически такое заполнение столбцов соответствует двоичной записи чисел от 0 до 7.
- Заполнить остальные столбцы.
Остальные столбцы с 4-го по 7-й заполняются в соответствии с таблицами истинности соответствующих логических операций, причём при заполнении каждого столбца операции выполняются над значениями одного или двух столбцов, указанных в строке заголовка таблицы, расположенных левее заполняемого.
Если сложное высказывание истинно для всех значений входящих в него переменных, то такое высказывание называется тождественно истинным или тавтологией (обозначается константой 1).
Если сложное высказывание ложно для всех значений входящих в него переменных, то такое высказывание называется тождественно ложным или противоречием (обозначается константой 0).
Если значения сложных высказываний совпадают при всех возможных значениях входящих в них переменных, то такие высказывания называют равносильными, тождественными, эквивалентными.
Цель работы:
- Познакомиться с понятиями: сложное высказывание, тавтология, противоречие, эквивалентные высказывания.
- Приобрести навыки построения таблиц истинности.
Ход работы:
- Формализовать высказывание и по полученной формуле построить таблицу истинности.
- Построить таблицу истинности сложного высказывания и определить, является ли это высказывание тавтологией или противоречием.
- Определить, являются ли высказывания эквивалентными.
Примечание. Все задания выполняются в соответствии с номером варианта.
Вариант 1
- Если я поеду в Москву и встречу там друзей, то мы интересно проведём время;
- ;
- ; .
Вариант 2
- Неверно, что если дует ветер, то солнце светит только тогда, когда нет дождя;
- ;
- ; .
Вариант 3
- Если будет солнечная погода, то ребята пойдут в лес, а если будет пасмурная, то ребята пойдут в кино;
- ;
- ; .
Вариант 4
- Неверно, что если погода пасмурная, то дождь идет тогда и только тогда, когда нет ветра.
- ;
- ; .
Вариант 5
- Если урок по информатике будет интересным, то никто из школьников – Миша, Вика, Света – не будет смотреть в окно;
- ;
- ; ; .
Вариант 6
- Будет отменена прогулка или не будет, я останусь дома, если идёт дождь;
- ;
- ; .
Вариант 7
- Если идет дождь, но я останусь дома, то я не вымокну;
- ;
- ; ; .
Вариант 8
- Если идёт дождь, а прогулка не отменяется или я не останусь дома, то я вымокну.
- ; .
Вариант 9
- Я не вымокну, если на улице нет дождя или если прогулка отменяется и я остаюсь дома;
- ;
- ; ; .
Вариант 10
- Чтобы погода была солнечной, достаточно, чтобы не было ни ветра, ни дождя;
- ;
- ; ; .
Вариант 11
- Если у меня будет свободное время и не будет дождя, то я не буду писать сочинение, а пойду на дискотеку;
- ;
- ; .
Вариант 12
- Лошадь погибает от одного грамма никотина, но я не лошадь, следовательно, курить вредно;
- ;
- ; .
Вариант 13
- Без Вас хочу сказать Вам много, при Вас я слушать Вас хочу.
- ;
- ; .
Вариант 14
- Люди получают высшее образование тогда, когда они оканчивают институт, университет или академию;
- ;
- ; .
Вариант 15
- Если человек с детства и юности своей не давал нервам властвовать над собой, то они не привыкнут раздражаться и будут ему послушны;
- ;
- ;.
Контрольные вопросы:
- Каков порядок выполнения логических операций?
- По какому правилу выполняется операция отрицание?
- По какому правилу выполняется операция конъюнкция?
- По какому правилу выполняется операция дизъюнкция?
- По какому правилу выполняется операция импликация?
- По какому правилу выполняется операция эквиваленция?
- Что называют таблицей истинности?
- Каков алгоритм построения таблицы истинности?
- Какие высказывания называют: тождественно истинными, тождественно ложными, равносильными?
По теме: методические разработки, презентации и конспекты
Практическая работа «Построение таблиц истинности в MS Excel»
Научиться использовать логические функции программы Excel при построении таблиц истинности...
Построение таблиц истинности сложных высказываний
В презентации представлен алгоритм постороения таблиц истинности сложного высказывания.В презентации предложено задание на построение таблицы истинности сложного высказывания....
Практическая работа «Построение таблиц истинности логических функций в MS Excel» 9 класс
В данной работе дана пошагая инструкция по созданию ЭТ в MS Excel...
Небольшой сборник самостоятельных работ по построению Таблиц Истинности (разного уровня сложности) и по упрощению Логических выражений.
В данном небольшом сборнике представлены самостоятельные работы по построению таблиц истинности логических выражений (два уровня сложности) с ответами. Ответы представлены в 8-ричной системе счи...
Самостоятельная работа "Построение таблиц истинности"
Самостоятельная работа является промежуточным контролем в разделе "Математические основы информатики", 8-9 класс...
Разработка открытого занятия "Построение таблиц истинности сложных лог.выражений"
Для студентов 1 курса СПО в рамках дисциплины Информатика, учащихся 10-11 классов...
Построение таблиц истинности для сложный высказываний
Презентация к уроку "Построение таблиц истинности для сложных высказываний"...