Построить таблицу истинности. а) x ∨ (y ⇔ x) б) (z ∨…

Чёрточка над буквой или скобкой означает отрицание. В пункте б) переменная с чертой на фото читается как .

а) Порядок действий: , затем (равно , когда значения совпадают), затем его отрицание, затем и дизъюнкция.

б) , $\overline{}$, . Импликация ложна только при , . лишь при , . Тогда , и при . Значит, только на наборе .

в) Пусть и $\overline{{}_{}{}_{}}{}_{}{}_{}$. Тогда .

• , когда и .
• . Оно равно , когда , и не одновременно .