Файл: Программа среднего профессионального образования Право и организация социального обеспечения соо дисциплина Информатика Практическое задание 4.doc
ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 28.03.2024
Просмотров: 5
Скачиваний: 0
ВНИМАНИЕ! Если данный файл нарушает Ваши авторские права, то обязательно сообщите нам.
Программа среднего профессионального образования
Право и организация социального обеспечения СОО
Дисциплина: Информатика
Практическое задание №4
Выполнил:
слушатель Мокаев Роберт Николаевич
Преподаватель:
Каргина Ольга Ивановна
-
Являются ли высказываниями следующие утверждения, установить, истинны они или ложны:
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˅ ˅ ˄( ˅ ˅