Является ли данная формула тождественно истинной, тождественно ложной, выполнимой?
%%(A \land B) \rightarrow (A \lor B)%%
%%(A \lor B) \rightarrow (A \land B)%%
%%(A \lor (B \leftrightarrow A)) \land (A \rightarrow B)%%
%%\overline{(A \leftrightarrow B) \leftrightarrow \big((A \rightarrow B) \land (B \rightarrow A)\big)}%%
%%\overline{A \lor B} \rightarrow B%%
%%(A \lor (B \leftrightarrow A)) \lor (A \rightarrow B)%%
Добрый день, Ирина Олеговна!
Чтобы предподаватель смог Вас проконсультировать, напишите, пожалуйста, Ваши рассуждения и ход решения данного задания.
С уважением, Нелли
Здравствуйте, Ирина Олеговна.
Чтобы понять тождественно истинные, ложные и выполнимые формулы, Вам необходимо очень хорошо разобраться с операциями над высказываниями: конъюнкция, дизъюнкция и др. Т.к. именно на этих операциях основано определение видов формулы. Так же советую очень усердно разобраться с таблицами истинности, т.к. с их помощью очень легко определять вид формулы.
Так, построив таблицы истинности в заданиях, вы можете сказать какой она является:
Все последующие вопросы по данной теме должны быть предоставлены с таблицами истинности для каждой из формул. Все таблицы истинности должны быть построены пошагово.
С уважением,
Валерий Алигорский.