|
Установить вид формулы алгебры логики: задан 3 Ноя '14 1:20 
Karinailippova
показано 5 из 6
показать еще 1
|
Здравствуйте
Математика - это совместно редактируемый форум вопросов и ответов для начинающих и опытных математиков, с особенным акцентом на компьютерные науки.
Присоединяйтесь!
отмечен:
задан
3 Ноя '14 1:20
показан
2476 раз
обновлен
3 Ноя '14 22:55
Связанные вопросы
Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Было бы ещё неплохо пояснить, что понимается под "видом" формулы. Например, я могу сказать, что эта формула имеет вид конъюнкции двух формул. Если так, то это будет слишком просто.
Задание звучит так. Что автор имел ввиду под "вид формулы", сложно сказать.
Нужно определить является она тавтологией, противоречием или выполнимой
Тогда в условии так и надо говорить: под словом "вид" может пониматься что угодно.
Как здесь уже сказали, надо составить таблицу истинности, а это делается стандартно. Можно даже без таблицы, если заметить, что при ложной A и истинной B обе импликации истинны ввиду ложности посылок. Значит, и их конъюнкция истинна. С другой стороны, при ложном C и истинных A,B первая импликация ложна. Значит, формула бывает и истинной, и ложной при подходящих значениях, откуда легко делается вывод.
Выполнимая - это правильный ответ будет?
Да, разумеется.