Файл: Программа среднего профессионального образования 40. 02. 01. Право и организация социального обеспечения соо дисциплина Информатика Практическое задание 4.docx
ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 29.10.2023
Просмотров: 18
Скачиваний: 1
ВНИМАНИЕ! Если данный файл нарушает Ваши авторские права, то обязательно сообщите нам.
Полное наименование образовательной организации (см. договор)
АНО ПО «Открытый социально-экономический колледж»
Программа среднего профессионального образования
40.02.01. Право и организация социального обеспечения СОО
Дисциплина: Информатика
Практическое задание №4
Выполнил:
Вариант 2
-
Являются ли высказываниями следующие утверждения, установить, истинны они или ложны:
1) сумма корней любого приведенного квадратного уравнения равна свободному члену;
Является высказыванием, логическое значение ложь
2) сумма корней приведенного квадратного уравнения равна свободному члену;
НЕ является высказыванием
3) существует приведенное квадратное уравнение, сумма корней которого равна свободному члену;
Является высказыванием, логическое значение истина
4) математическая логика – увлекательная наука;
НЕ является высказыванием
5) 10<5;
Является высказыванием, логическое значение ложь
6) x4+8x-190;
НЕ является высказыванием
7) x4+8x-190=0.
НЕ является высказыванием
2. Составить таблицу истинности для формулы
x | | x˅ |
0 | 1 | 1 |
1 | 0 | 1 |
a)
x | y | | x˄ |
0 | 0 | 1 | 0 |
0 | 1 | 0 | 0 |
1 | 0 | 1 | 1 |
1 | 1 | 0 | 0 |
б)
x | y | z | | x | | | | | x |
0 | 0 | 0 | 1 | 0 | 1 | 1 | 1 | 1 | 1 |
0 | 0 | 1 | 0 | 0 | 1 | 0 | 1 | 0 | 1 |
0 | 1 | 0 | 1 | 1 | 0 | 0 | 0 | 1 | 1 |
0 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 1 | 1 |
1 | 0 | 0 | 1 | 1 | 0 | 0 | 1 | 0 | 0 |
1 | 0 | 1 | 0 | 1 | 0 | 0 | 1 | 0 | 0 |
1 | 1 | 0 | 1 | 1 | 0 | 0 | 0 | 1 | 1 |
1 | 1 | 1 | 0 | 1 | 0 | 0 | 0 | 1 | 1 |
4. Доказать равносильность следующих формул
1)
Построим таблицы истинности для данных формул:
x | y | | |
0 | 0 | 1 | 1 |
0 | 1 | 0 | 1 |
1 | 0 | 1 | 1 |
1 | 1 | 0 | 0 |
x | y | | |
0 | 0 | 1 | 1 |
0 | 1 | 1 | 1 |
1 | 0 | 0 | 1 |
1 | 1 | 0 | 0 |
Т.к. результаты таблиц совпали, значит формулы равносильны
2)
x | y | | | | | | | |
0 | 0 | 1 | 1 | 0 | 0 | 1 | 0 | 0 |
0 | 1 | 1 | 0 | 0 | 1 | 1 | 1 | 1 |
1 | 0 | 0 | 1 | 0 | 1 | 1 | 1 | 1 |
1 | 1 | 0 | 0 | 1 | 1 | 0 | 0 | 1 |
x | y | |
0 | 0 | 0 |
0 | 1 | 1 |
1 | 0 | 1 |
1 | 1 | 1 |
Т.к. результаты таблиц совпали, значит формулы равносильны
-
Найти СКНФ, которая определяет функцию по следующей таблице истинности
x | y | z | |
0 | 0 | 0 | 0 |
0 | 0 | 1 | 0 |
0 | 1 | 0 | 0 |
0 | 1 | 1 | 0 |
1 | 0 | 0 | 1 |
1 | 0 | 1 | 0 |
1 | 1 | 0 | 1 |
1 | 1 | 1 | 1 |
Для построения СКНФ, возмем столбец с результатом f(x,y,z) и выберем строки со значением 0 (ложь)
( ˅ ˅
˄(x˅ ) ˄(x˅ ) ˄(x˅ ˅ ˄( ˅ ˅
Тула-2022