Часть 1 содержит 18 заданий с выбором ответа. К каждому заданию

даётся 4 варианта ответа, из которых только один правильный.

Часть 2 состоит из 10 заданий с кратким ответом (к этим заданиям вы

должны самостоятельно сформулировать и записать ответ).

Часть 3 состоит из 4 заданий. Для выполнения заданий этой части вам

необходимо написать развёрнутый ответ в произвольной форме.

Выполняйте задания в том порядке, в котором они даны. Если какое-то

задание вызывает у вас затруднение, пропустите его и постарайтесь

выполнить те, в ответах на которые вы уверены. Если после выполнения всей

работы у вас останется время, вы сможете вернуться к пропущенным

заданиям.

За каждый правильный ответ в зависимости от сложности задания

даётся один или более баллов. Баллы, полученные вами за все выполненные

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

и набрать наибольшее количество баллов.

Желаем успеха!

В экзаменационных заданиях используются следующие соглашения.

1. Обозначения для логических связок (операций):

a) отрицание (инверсия, логическое НЕ) обозначается ¬ (например, ¬А);

b) конъюнкция (логическое умножение, логическое И) обозначается /\

(например, А /\ В) либо & (например, А & В);

c) дизъюнкция (логическое сложение, логическое ИЛИ) обозначается \/

(например, А \/ В);

d) следование (импликация) обозначается → (например, А → В);

e) тождество обозначается ≡ (например, A ≡ B). Выражение A ≡ B истинно

тогда и только тогда, когда значения A и B совпадают (либо они оба

истинны, либо они оба ложны);

f) символ 1 используется для обозначения истины (истинного высказывания);

символ 0 – для обозначения лжи (ложного высказывания).

2. Два логических выражения, содержащих переменные, называются

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

при любых значениях переменных. Так, выражения А → В и (¬А) \/ В

равносильны, а А \/ В и А /\ В – нет (значения выражений разные, например,

при А = 1, В = 0).

3. Приоритеты логических операций: инверсия (отрицание), конъюнкция

(логическое умножение), дизъюнкция (логическое сложение), импликация

(следование). Таким образом, ¬А /\ В \/ С /\ D означает то же, что и

((¬А) /\ В) \/ (С /\ D).

Возможна запись А /\ В /\ С вместо (А /\ В) /\ С. То же относится и

к дизъюнкции: возможна запись А \/ В \/ С вместо (А \/ В) \/ С.