Форум программистов, компьютерный форум, киберфорум
Мат. логика и множества
Войти
Регистрация
Восстановить пароль
Карта форума Темы раздела Блоги Сообщество Поиск Заказать работу  
 
0 / 0 / 0
Регистрация: 25.04.2020
Сообщений: 33
1

Записать эквивалентное высказывание

02.07.2020, 17:22. Показов 384. Ответов 1
Метки нет (Все метки)

Author24 — интернет-сервис помощи студентам
Дано высказывание – «Если солнце светит и небо голубое, то это хорошо».
Надо записать высказывание, эквивалентное ему
Я ввела обозначения:
X – Солнце светит
Y – небо голубое
Z – Это хорошо

И составила эквивалентную формулу
(x& y)→z = ~ (x& y) ∨z = ~x ∨~y ∨z
1) Правильные получились ли формулы?
2) Помогите пожалуйста сформулировать получившееся высказывание
0
Programming
Эксперт
94731 / 64177 / 26122
Регистрация: 12.04.2006
Сообщений: 116,782
02.07.2020, 17:22
Ответы с готовыми решениями:

Записать высказывание с использованием предикатов
Система уравнений 3x-y=0 x+y=2 не имеет решений.

Записать высказывание в виде ДНФ
Помогите пожалуйста, нужно записать высказывание "Если а, то б, иначе с" в виде ДНФ, спасибо заранее

Записать высказывание в виде формулы логики высказываний
А, когда В и С, а В при условии, что С, но из С не следует А и В.

Разбить высказывание на элементарные и записать в виде кванторной формулы логики предикатов.
Добрый день. Нужна помощь в решении задачи: Разбить высказывание на элементарные и записать в виде...

1
Эксперт по математике/физике
4952 / 3570 / 1151
Регистрация: 01.09.2014
Сообщений: 9,661
02.07.2020, 18:51 2
Цитата Сообщение от kokipok Посмотреть сообщение
1) Правильные получились ли формулы?
Правильные.

Цитата Сообщение от kokipok Посмотреть сообщение
2) Помогите пожалуйста сформулировать получившееся высказывание
Вы имеете в виду прочитать его на естественном языке? В чем сложность? Вы не в курсе, что ~ читается "неверно, что", а ∨ читается "или"?
0
02.07.2020, 18:51
IT_Exp
Эксперт
87844 / 49110 / 22898
Регистрация: 17.06.2006
Сообщений: 92,604
02.07.2020, 18:51
Помогаю со студенческими работами здесь

Разбить высказывание на элементарные и записать в виде кванторной формулы логики предикатов
Здравствуйте! У меня есть такое задание. Не могу понять, правильно ли делаю. Подскажите, кто...

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

эквивалентное преобразование
Как сделать эквивалентное преобразование данной цепи??

Эквивалентное сопротивление
Нужно посчитать эквивалентное сопротивление (делаю расчёт тока ветви cd с помощью метода...

Эквивалентное преобразование
помогите пожалуйста со схемой, не могу представить как будет выглядеть и как нужно будет считать,...

Эквивалентное сопротивление
Нужна ваша помощь. Преобразовать схему, получив эквивалентное сопротивление. Решать не нужно,...


Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
2
Ответ Создать тему
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2024, CyberForum.ru