Доказать эквивалентности (A∨(B&C))~A c помощью составления таблиц истинности. Помогите,пожалуйста.
Это вроде как не эквивалентно,насколько я понимаю,если нигде не ошибся.
Ой,я ошибся в 5й строке где в=0 и с=0 в в&c там 0,значит эквивалентно
но задание : доказать эквивалентность у вас там я думаю ошибочки есть
а вы можете переделатьчтобы точно уже было правильно
и там в 7 строке а=0 а не 1
не может быть там нуля.
то есть у вас все правильно в таблице?
а как же еще один столбик с (A∨(B&C))~A
по идее да.
вы понимаете что значит "Эквивалентно"?
да
Давайте определимся с обозначениями. Так как в условии задачи присутствуют символы логического сложения -V и логического умножения - &, то смею предположить, что символ ~ это эквивалентность. Тогда таблица истинности будет такой
вы общитались немного там в конечном столбике один 0 будет