Предмет: Информатика, автор: martiemiliya

Доказать эквивалентности (A∨(B&C))~A c помощью составления таблиц истинности. Помогите,пожалуйста.

Ответы

Автор ответа: Justickdm

Это вроде как не эквивалентно,насколько я понимаю,если нигде не ошибся.

Приложения:

Автор ответа: martiemiliya

то есть у вас все правильно в таблице?

Автор ответа: martiemiliya

а как же еще один столбик с (A∨(B&C))~A

Автор ответа: Justickdm

по идее да.

Автор ответа: Justickdm

вы понимаете что значит "Эквивалентно"?

Автор ответа: martiemiliya

да

Автор ответа: vladmor

Давайте определимся с обозначениями. Так как в условии задачи присутствуют символы логического сложения -V и логического умножения - &, то смею предположить, что символ ~ это эквивалентность. Тогда таблица истинности будет такой

Приложения: