докажите или опровергните по законам алгебры логики построить таблицу истинности (неx ̅→у)(у→х)≡х

Для данной логической формулы \((\neg x \rightarrow y)(y \rightarrow x) \equiv x\) можно построить таблицу истинности, которая покажет, что формулы равны при всех возможных значениях переменных \(x\) и \(y\).

Краткий ответ: Да, можно построить таблицу истинности.