Контрольная работа. 1. Следующее высказывание может быть интерпретировано как сложное высказывание: Неверно, что первым пришел Петр или Павел

Самостоятельная работа №4.

Самостоятельная работа №3.

Тест

1. Следующее высказывание может быть интерпретировано как сложное высказывание: "Неверно, что первым пришел Петр или Павел". Каковы составляющие его элементарные высказывания?

а) А: "Неверно, что первым пришел Петр"; В: "Неверно, что первым пришел Павел";

б) А: "Первым пришел Петр"; В: "Неверно, что первым пришел Павел";

в) А: "Первым пришел Петр"; В: "Первым пришел Павел".

2. Какой из формул может быть записано высказывание предыдущего вопроса?

а) А ∨ В;

б) А ∨ В;

в) А ∧В.

3. Будет ли высказывание S=(А→В)∧(В→С)→(А→С):

а) тождественно истинным;

б) тождественно ложным;

в) переменным.

4. В высказывании S: "Треугольники равны только тогда, когда равны

их стороны". Равенство углов в треугольнике является:

а) необходимым условием;

б) достаточным условием;

в) необходимым и достаточным условием.

I вариант

1. Составить истинностную таблицу для ы:

2. Записать приведённую равносильную форму для ы:

3. Является ли заданная высказывательная форма тавтологией:

4. Составить ДНФ и КНФ для ы:

5. Упростить:

6. Выразить заданную функцию F из алгебраического высказывания через F₁(x)=¬ x; F₂(x,y)=xy; F₃(x,y)=xy

F=(x∧y∧z)∨(¬x→y)

II вариант

1. Составить истинностную таблицу для ы:

2. Записать приведённую равносильную форму для ы:

3. Является ли заданная высказывательная форма тавтологией:

4. Составить ДНФ и КНФ для ы:

5. Упростить:

6. Выразить заданную функцию F из алгебраического высказывания через F₁(x)=¬ x; F₂(x,y)=xy; F₃(x,y)=xy

F=(¬y→¬x)∧(x∨¬y∨¬z)

Раздел 3. БУЛЕВЫ ФУНКЦИИ.

Дата добавления: 2014-01-04