Материал предоставлен http://it.rfet.ru

Не могу решить!

Является ли данная формула тождественно истинной, тождественно ложной, выполнимой?

  1. %%(A \land B) \rightarrow (A \lor B)%%

  2. %%(A \lor B) \rightarrow (A \land B)%%

  3. %%(A \lor (B \leftrightarrow A)) \land (A \rightarrow B)%%

  4. %%\overline{(A \leftrightarrow B) \leftrightarrow \big((A \rightarrow B) \land (B \rightarrow A)\big)}%%

  5. %%\overline{A \lor B} \rightarrow B%%

  6. %%(A \lor (B \leftrightarrow A)) \lor (A \rightarrow B)%%

9 лет назад

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

9 лет назад

Здравствуйте, Лилия Владимировна.

Советую Вам перечитать Запись утверждений на языке алгебры высказываний. Формулы алгебры высказываний, т.к. там даны определения тождественно истинной, тождественно ложной и выполнимой формул. После чего внимательно изучить пример, который дан после этих определений (как и до них).

Также, чтобы понять тождественно истинные, ложные и выполнимые формулы, Вам необходимо очень хорошо разобраться с операциями над высказываниями: конъюнкция, дизъюнкция и др. Т.к. именно на этих операциях основано определение видов формулы. Так же советую очень усердно разобраться с таблицами истинности, т.к. с их помощью очень легко определять вид формулы.

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

Все последующие вопросы по данной теме должны быть предоставлены с таблицами истинности для каждой из формул. Все таблицы истинности должны быть построены пошагово.

С уважением,
Валерий Алигорский.

9 лет назад

Не получается у меня сдать эти вопросы по вашему тексту НИКАК!!! Будьте так добры объясните пожалуйста как их отличить друг от друга на конкретно приведенном примере! Потому что как бы я не использовала текст приведенный в курсе, результат 0

9 лет назад

Добрый день, Лилия Владимировна.

Пожалуйста, попытайтесь составить таблицы истинностости для заданий, которые у вас не получаются, и пришлите их сюда, чтобы автор мог объяснить, в чем конкретно у вас ошибка. “Не получается никак” описывает ситуацию, но не позволяет объяснить причины ее появления.

С уважением, Виктория

8 лет назад

Файл img_194.jpg был загружен.

8 лет назад

Здравствуйте. Я решил данный тест, но у меня правильно только два задания. Вот мои решения. Можете пожалуйста посоветовать что я делаю не так?

8 лет назад

Здравствуйте, Сергей Эдуардович.

Как было сказано ранее для первого, второго задания, Вам необходимо прислать не только ответы (т.к. их можно и так посмотреть), но и таблицы истинности.

Все последующие вопросы по данной теме должны быть предоставлены с таблицами истинности для каждой из формул. Все таблицы истинности должны быть построены пошагово.

По поводу второго задания

Обратите внимание, что в третьем подзадании %%X%% ложно, и обратите внимание на определение эквивалентности.

По поводу третьего задания

Вам необходимо ещё раз пересмотреть приоритет операций. Так, например, в первом подзадании приоритет операции %%\rightarrow%% меньше, чем приоритет операции %%\lor%%, поэтому скобки в первом подзадании не нужны. Но это не единственная ошибка.

Поставьте числа над операциями для облегчения. До и после убирания скобок они должны иметь одни и теже числа над операциями, если они меняются, то Вы что-то сделали не верно.


Задание %%5%% и %%4%% у Вас решены верно.

С уважением,
Валерий Алигорский.

Ваш комментарий

Комментирование доступно только для авторизованных пользователей.

Файлы

Имя файлаРазмер
img_194.jpg558.0 KB