Статья Автор: Деникина Н.В., Деникин А.В.

Вопрос 2. Построение и анализ таблиц истинности

Спецификация

Согласно спецификации КИМ, задание 2 проверяет умение строить таблицы истинности и логические схемы. Задание относится к базовому уровню, примерное время выполнения задания 3 минуты.
 

Краткая теория

Логические переменные - это переменные, которые могут принимать два значения: истина (true) или ложь (false). В программировании (в некоторых языках программирования, например С++) обычно true обозначается как 1, false - 0

Логические выражения - это выражения, которые возвращают логическое значение (true или false). Логические выражения могут состоять из логических операций (например, AND, OR, NOT), сравнений (например, равенства, больше/меньше) и других логических конструкций.
 
Базовые логические операции
  • Логическое отрицание NOT (НЕ): инвертирует логическое значение операнда.
  • Логическое умножение (конъюнкция) AND (И): выражение истинно только если оба операнда истинны.
  • Логическое сложение (дизъюнкция) OR (ИЛИ): выражение истинно если хотя бы один из операндов истинен.
Любые другие логические операции всегда можно выразить через базовые операции.

Таблица истинности - это таблица, которая показывает все возможные значения логических переменных в выражении, а также соответствующие результаты операции. Она используется для иллюстрации всех возможных комбинаций истинности в логическом выражении и результатов этих операций.
 
Таблицы истинности базовых логических операций
1) Отрицание (НЕ) 
Часто используемые обозначения:  \(\lnot A\), \(\overline {A}\)
А не А
1 0
0 1


2) Логическое умножение (И) - конъюнкция. Конъюнкция имеет значение "Истина" только в том случае, когда все входящие в неё высказывания, или выражения, истинны (то есть равны true). 
Часто используемые обозначения:  \(A \land B\), \(A \cdot B\)
 
A B А и B
0 0 0
0 1 0
1 0 0
1 1 1
 
3) Логическое сложение (ИЛИ) - дизъюнкция. Дизъюнкция имеет значение "Истина", если хотя бы одно из входящих в неё высказываний истинно. 
Часто используемые обозначения:  \(A \lor B\), \(A + B\)
 
A B А или B
0 0 0
0 1 1
1 0 1
1 1 1

 
Пропустить Навигационные Ссылки.
Чтобы оставить комментарий нужна авторизация
Печать