A3 (базовый уровень, время

Тема: Построение таблиц истинности логических выражений.

Про обозначения

К сожалению, обозначения логических операций И, ИЛИ и НЕ, принятые в «серьезной» математической логике (Ù, Ú,), неудобны, интуитивно непонятны и никак не проявляют аналогии с обычной алгеброй. Автор, к своему стыду, до сих пор иногда путает Ù и Ú. Поэтому на его уроках операция «НЕ» обозначается чертой сверху, «И» – знаком умножения (поскольку это все же логическое умножение), а «ИЛИ» – знаком «+» (логическое сложение).
В разных учебниках используют разные обозначения. К счастью, в начале задания ЕГЭ приводится расшифровка закорючек (Ù, Ú,), что еще раз подчеркивает проблему.

Что нужно знать:

· условные обозначения логических операций

A, не A (отрицание, инверсия)

A Ù B, A и B (логическое умножение, конъюнкция)

A Ú B, A или B (логическое сложение, дизъюнкция)

A → B импликация (следование)

A º B эквивалентность (равносильность)

· операцию «импликация» можно выразить через «ИЛИ» и «НЕ»:

A → B = A Ú B или в других обозначениях A → B =

· иногда для упрощения выражений полезны формулы де Моргана:

(A Ù B) = A Ú B

(A Ú B) = A Ù B

· если в выражении нет скобок, сначала выполняются все операции «НЕ», затем – «И», затем – «ИЛИ», «импликация», и самая последняя – «эквивалентность»

· таблица истинности выражения определяет его значения при всех возможных комбинациях исходных данных

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

· количество разных логических выражений, удовлетворяющих неполной таблице истинности, равно , где – число отсутствующих строк; например, полная таблица истинности выражения с тремя переменными содержит 2³=8 строчек, если заданы только 6 из них, то можно найти 2^8-6=2²=4 разных логических выражения, удовлетворяющие этим 6 строчкам (но отличающиеся в двух оставшихся)

· логическая сумма A + B + C + … равна 0 (выражение ложно) тогда и только тогда, когда все слагаемые одновременно равны нулю, а в остальных случаях равна 1 (выражение истинно)

· логическое произведение A · B · C · … равно 1 (выражение истинно) тогда и только тогда, когда все сомножители одновременно равны единице, а в остальных случаях равно 0 (выражение ложно)

· логическое следование (импликация) А→В равна 0 тогда и только тогда, когда из A (посылка) истинна, а B (следствие) ложно

· эквивалентность АºB равна 1 тогда и только тогда, когда оба значения одновременно равны 0 или одновременно равны 1

Пример задания:

Символом F обозначено одно из указанных ниже логических выражений от трех аргументов: X, Y, Z. Дан фрагмент таблицы истинности выражения F:

Какое выражение соответствует F?

1) X Ù Y Ù Z 2) X Ù Y Ù Z 3) X Ú Y Ú Z 4) X Ú Y Ú Z

Решение (основной вариант):

1) нужно для каждой строчки подставить заданные значения X, Y и Z во все функции, заданные в ответах, и сравнить результаты с соответствующими значениями F для этих данных

2) если для какой-нибудь комбинации X, Y и Z результат не совпадает с соответствующим значением F, оставшиеся строчки можно не рассматривать, поскольку для правильного ответа все три результата должны совпасть со значениями функции F

3) перепишем ответы в других обозначениях:
1) 2) 3) 4)

4) первое выражение, , равно 1 только при , поэтому это неверный ответ (первая строка таблицы не подходит)

5) второе выражение, , равно 1 только при , поэтому это неверный ответ (первая и вторая строки таблицы не подходят)

6) третье выражение, , равно нулю при , поэтому это неверный ответ (вторая строка таблицы не подходит)

7) наконец, четвертое выражение, равно нулю только тогда, когда , а в остальных случаях равно 1, что совпадает с приведенной частью таблицы истинности

8) таким образом, правильный ответ – 4; частичная таблица истинности для всех выражений имеет следующий вид:

X	Y	Z	F
				0 ×	0 ×
				–	–	0 ×
				–	–	–

(красный крестик показывает, что значение функции не совпадает с F, а знак «–» означает, что вычислять оставшиеся значения не обязательно).

Возможные ловушки и проблемы: · серьезные сложности представляет применяемая в заданиях ЕГЭ форма записи логических выражений с «закорючками», поэтому рекомендуется сначала внимательно перевести их в «удобоваримый» вид; · расчет на то, что ученик перепутает значки Ù и Ú (неверный ответ 1) · в некоторых случаях заданные выражения-ответы лучше сначала упростить, особенно если они содержат импликацию или инверсию сложных выражений (как упрощать – см. разбор задачи А10)

Решение (вариант 2):

1) часто правильный ответ – это самая простая функция, удовлетворяющая частичной таблице истинности, то есть, имеющая единственный нуль или единственную единицу в полной таблице истинности

2) в этом случае можно найти такую функцию и проверить, есть ли она среди данных ответов

3) в приведенной задаче в столбце F есть единственный нуль для комбинации

4) выражение, которое имеет единственный нуль для этой комбинации, это , оно есть среди приведенных ответов (ответ 4)

5) таким образом, правильный ответ – 4

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

Еще пример задания:

Какое выражение соответствует F?

1) X Ù Y Ù Z 2) X Ù Y Ù Z 3) X Ù Y Ù Z 4) X Ú Y Ú Z

Решение (вариант 2):

1) перепишем ответы в других обозначениях:
1) 2) 3) 4)

2) в столбце F есть единственная единица для комбинации , простейшая функция, истинная (только) для этого случая, имеет вид , она есть среди приведенных ответов (ответ 3)

3) таким образом, правильный ответ – 3.

Задачи для тренировки [1]:

1) Символом F обозначено одно из указанных ниже логических выражений от трех аргументов: X, Y, Z. Дан фрагмент таблицы истинности выражения F (см. таблицу справа). Какое выражение соответствует F?

1) X Ú Y Ú Z 2) X Ù Y Ù Z 3) X Ù Y Ù Z 4) X Ú Y Ú Z

2) Символом F обозначено одно из указанных ниже логических выражений от трех аргументов: X, Y, Z. Дан фрагмент таблицы истинности выражения F (см. таблицу справа). Какое выражение соответствует F?

1) X Ú Y Ú Z 2) X Ù Y Ù Z 3) X Ù Y Ù Z 4) X Ú Y Ú Z

3) Символом F обозначено одно из указанных ниже логических выражений от трех аргументов: X, Y, Z. Дан фрагмент таблицы истинности выражения F (см. таблицу справа). Какое выражение соответствует F?

1) X Ù Y Ù Z 2) X Ù Y Ù Z 3) X Ù Y Ù Z 4) X Ù Y Ù Z

4) Символом F обозначено одно из указанных ниже логических выражений от трех аргументов: X, Y, Z. Дан фрагмент таблицы истинности выражения F (см. таблицу справа). Какое выражение соответствует F?

1) X Ù Y Ù Z 2) X Ú Y Ú Z 3) X Ú Y Ú Z 4) X Ú Y Ú Z

5) Символом F обозначена логическая функция от двух аргументов (A и B), заданная таблицей истинности. Какое выражение соответствует F?

1) A → (A Ú B) 2) A Ù B 3) A → B 4) A Ù B

6) Символом F обозначено одно из указанных ниже логических выражений от трех аргументов: X, Y, Z. Дан фрагмент таблицы истинности выражения F (см. таблицу справа). Какое выражение соответствует F?

1) X Ù Y Ù Z 2) X Ú Y Ú Z 3) X Ù (Y Ú Z) 4) (X Ú Y) Ù Z

7) Символом F обозначено одно из указанных ниже логических выражений от трех аргументов: X, Y, Z. Дан фрагмент таблицы истинности выражения F (см. таблицу справа). Какое выражение соответствует F?

1) X Ú Y Ù Z 2) X Ú Y Ú Z 3) X Ù Y Ú Z 4) X Ú Y Ù Z

8) Символом F обозначено одно из указанных ниже логических выражений от трех аргументов: X, Y, Z. Дан фрагмент таблицы истинности выражения F (см. таблицу справа). Какое выражение соответствует F?

1) (X Ù Y) Ù Z 2) (X Ú Y) Ú Z 3) (X Ù Y) Ú Z 4) (X Ú Y) Ù Z

X	Y	Z	F

Символом F обозначено одно из указанных ниже логических выражений от трех аргументов: X, Y, Z. Дан фрагмент таблицы истинности выражения F (см. таблицу справа). Какое выражение соответствует F?

1) X Ù Y Ù Z 2) X Ú Y Ú Z 3) X Ù Y Ú Z 4) X Ú Y Ù Z

10) Символом F обозначена логическая функция от двух аргументов (A и B), заданная таблицей истинности. Какое выражение соответствует F?

1) A → ((A Ù B)) 2) A Ù B 3) A → B 4) A Ù B

11)

X	Y	Z	F

1) X Ù Y Ù Z 2) X Ú Y Ú Z 3) X Ú Y Ú Z 4) X Ù Y Ù Z

12)

X	Y	Z	F

1) X Ú Y Ú Z 2) X Ù Y Ù Z 3) X Ù Y Ù Z 4) X Ú Y Ú Z

13)

X	Y	Z	F

1) X Ú Y Ú Z 2) X Ù Y Ù Z 3) X Ù Y Ù Z 4) X Ú Y Ú Z

14)

X	Y	Z	F

1) X Ù Y Ù Z 2) X Ù Y Ù Z 3) X Ú Y Ú Z 4) X Ú Y Ú Z

15)

X	Y	Z	F