Информатика.
8 класс
Информатика.
8 класс
«2*2=4», «Москва – столица России», «Луна – спутник Земли» являются истинными,
«Киев – столица Белоруссии», «Юпитер – спутник Марса» - ложными.
Логика в информатике. Высказывания
Какие из перечисленных ниже предложений являются высказываниями и каково их значение?
Поскольку для применения логических операций имеет значение лишь истинность или ложность высказываний, а не их содержание, то можно использовать алгебраический подход, заменив высказывания логическими переменными, обычно обозначаемыми латинскими буквами.
Таблица истинности операции логического отрицания:
Обозначение:
Ā, ¬А, НЕ А, NOT А.
А=«Мы любим математику»
¬А =Мы не любим математику»
Для каждого логического выражения можно построить таблицу, в которой для каждого набора значений простых логических переменных приведены значения этого выражения. Такая таблица называется таблицей истинности логического выражения.
Таблица истинности операции логического сложения
Обозначение:
АvВ, А+В, А|В, А or В, А ИЛИ В
А=«Я люблю математику»
В=«Я люблю физику»
«Я люблю математику ИЛИ физику»
Таблица истинности операции логического умножения:
Обозначение:
А∧В, А&В, А⋅В, А И В,
А AND В.
А=«Я люблю математику»
В=«Я люблю физику»
«Я люблю математику И физику»
Запишем в форме логического выражения составное высказывание:
«(2*2=5 или 2*2=4)и(2*2≠5 или 2*2 ≠4)»
Оно содержит два простых высказывания:
А=«2*2=5» - ложь (А=0) и В=«2*2=4» - истина (В=1)
Тогда составное высказывание можно записать в виде:
«(А или В) и (¬А или ¬В)»
Что необходимо знать для выполнения логических операций?
Определим истинность логического выражения:
«(2*2=5 или 2*2=4)и(2*2≠5 или 2*2 ≠4)»
(А v В) ∧ (¬А v¬В)
(А v В) ∧ (¬А v¬В)=(0 v 1) ∧ (1 v 0)=1 ∧ 1=1
Правила построения таблиц истинности:
1. Количество строк в таблице должно быть равно количеству возможных комбинаций значений логических переменных, входящих в логическое выражение.
Если количество переменных n, то количество строк – 2n
2. Количество столбцов равно количеству логических переменных плюс количество логических операций.
Построим таблицу истинности для логического выражения: (А v В) ∧ (¬А v ¬В)
Тождества
Логического умножения
А ∧ 0 = 0
2) А ∧ 1 = А
3) А ∧ А = А
4) А ∧¬А = 0
Законы
Законы де Моргана
Логические законы и тождества
Это сайт презентаций, где можно хранить и обмениваться своими презентациями, докладами, проектами, шаблонами в формате PowerPoint с другими пользователями. Мы помогаем школьникам, студентам, учителям, преподавателям хранить и обмениваться учебными материалами.
Email: Нажмите что бы посмотреть