Является ли данная формула тождественно истинной, тождественно ложной, выполнимой?
(A∧B)→(A∨B)
(A∨B)→(A∧B)
(A∨(B↔A))∧(A→B)
¯(A↔B)↔((A→B)∧(B→A))
¯A∨B→B
(A∨(B↔A))∨(A→B)
Добрый день, Ирина Олеговна!
Чтобы предподаватель смог Вас проконсультировать, напишите, пожалуйста, Ваши рассуждения и ход решения данного задания.
С уважением, Нелли
Здравствуйте, Ирина Олеговна.
Чтобы понять тождественно истинные, ложные и выполнимые формулы, Вам необходимо очень хорошо разобраться с операциями над высказываниями: конъюнкция, дизъюнкция и др. Т.к. именно на этих операциях основано определение видов формулы. Так же советую очень усердно разобраться с таблицами истинности, т.к. с их помощью очень легко определять вид формулы.
Так, построив таблицы истинности в заданиях, вы можете сказать какой она является:
Все последующие вопросы по данной теме должны быть предоставлены с таблицами истинности для каждой из формул. Все таблицы истинности должны быть построены пошагово.
С уважением,
Валерий Алигорский.