- •Ргз по математической логике
- •Ргз по математической логике
- •Ргз по математической логике
- •Ргз по математической логике
- •Ргз по математической логике
- •Ргз по математической логике
- •Ргз по математической логике
- •Ргз по математической логике
- •Ргз по математической логике
- •Ргз по математической логике
- •Ргз по математической логике
- •Ргз по математической логике
- •Ргз по математической логике
- •Ргз по математической логике
- •Ргз по математической логике
- •Ргз по математической логике
- •Ргз по математической логике
- •Ргз по математической логике
- •Ргз по математической логике
- •Ргз по математической логике
- •Ргз по математической логике
- •Ргз по математической логике
- •Ргз по математической логике
- •Ргз по математической логике
- •Ргз по математической логике
- •Ргз по математической логике
- •Ргз по математической логике
- •Ргз по математической логике
- •Ргз по математической логике
- •Ргз по математической логике
- •Ргз по математической логике
- •Ргз по математической логике
Ргз по математической логике
Вариант № 1
1. Для данных булевых функций а и б :
1.1. составить таблицы их значений;
1.2. пользуясь таблицами значений, составить СДНФ и СКНФ;
1.3. пользуясь таблицами значений, составить функции, двойственные к данным;
1.4. записать двойственные функции в виде наиболее экономичных СНФ.
а) ; б) .
2. Дана переключательная (булева) функция .
2.1. Путем эквивалентных преобразований упростить формулу, реализующую данную функцию.
2.2. По упрощенной формуле нарисовать наиболее простую релейно-контактную схему, соответствующую данной функции.
3. Дана булева функция трёх переменных .
3.1. Путем эквивалентных преобразований привести данную функцию к СДНФ и СКНФ.
3.2. Используя принцип двойственности, записать логическую формулу, реализующую функцию, двойственную к данной.
4. Преобразовать логическую формулу так, чтобы в её записи остались только:
4.1. конъюнкция и отрицание; 4.2. дизъюнкция и отрицание;
4.3. стрелка Пирса; 4.4. штрих Шеффера.
5. Разложить данные булевы функции в полином Жегалкина:
а) ; б) .
6. Определить, к каким из пяти основных замкнутых классов (Т0, Т1, S, M, L) принадлежит данная булева функция и к каким она не принадлежит. Ответ обосновать.
.
7. Записать при помощи предикатов следующее утверждение: между любыми двумя различными точками на прямой лежит по крайней мере одна точка, с ними не совпадающая.
8. Привести пример высказывания, иллюстрирующего то, что данная формула истинна (ложна): .
9. Доказать формальную теорему (xy) (xx).
10. По обвинению в ограблении перед судом предстали Сеня, Беня, Веня. Следствием установлено следующее: 1) если Сеня не виновен или Беня виновен, то Веня виновен; 2) если Сеня не виновен, то Веня не виновен. Виновен ли Сеня?
Ргз по математической логике
Вариант № 2
1. Для данных булевых функций а и б :
1.1. составить таблицы их значений;
1.2. пользуясь таблицами значений, составить СДНФ и СКНФ;
1.3. пользуясь таблицами значений, составить функции, двойственные к данным;
1.4. записать двойственные функции в виде наиболее экономичных СНФ.
а) ; б) .
2. Дана переключательная (булева) функция .
2.1. Путем эквивалентных преобразований упростить формулу, реализующую данную функцию.
2.2. По упрощенной формуле нарисовать наиболее простую релейно-контактную схему, соответствующую данной функции.
3. Дана булева функция трёх переменных .
3.1. Путем эквивалентных преобразований привести данную функцию к СДНФ и СКНФ.
3.2. Используя принцип двойственности, записать логическую формулу, реализующую функцию, двойственную к данной.
4. Преобразовать логическую формулу так, чтобы в её записи остались только:
4.1. конъюнкция и отрицание; 4.2. дизъюнкция и отрицание;
4.3. стрелка Пирса; 4.4. штрих Шеффера.
5. Разложить данные булевы функции в полином Жегалкина:
а) ; б) .
6. Определить, к каким из пяти основных замкнутых классов (Т0, Т1, S, M, L) принадлежит данная булева функция и к каким она не принадлежит. Ответ обосновать.
7. Записать при помощи предикатов следующее утверждение: между любыми двумя различными точками на прямой лежит по крайней мере одна точка, с ними не совпадающая.
8. Привести пример высказывания, иллюстрирующего то, что данная формула истинна (ложна): .
9. Доказать формальную теорему (x&y)(x&x).
10. Пять человек, подозреваемых в убийстве, были допрошены на месте преступления. В ходе следствия выяснилось, что из пяти показаний только три оказались правдивыми. 1. Сеня: "Беня убийца". 2. Веня: "Я невиновен". 3. Феня: "Это был не Геня". 4. Беня: "Сеня солгал". 5. Геня: "Веня сказал правду". Кто из них совершил убийство?