4. Выполните преобразование и определите количество решений логического уравнения: x ∨ y ∧ ¬x = 1. Выберите правильный вариант ответа: 4, 1, 3, 2.

Учитываем, что конъюнкция выполняется раньше дизъюнкции:

\(x \lor (y \land \neg x) = (x \lor y) \land (x \lor \neg x) = (x \lor y) \land 1 = x \lor y.\)

Уравнение равносильно условию \(x \lor y = 1\). Оно выполняется для наборов \((x,y)=(0,1), (1,0), (1,1)\).

Ответ: 3 решения (вариант 3).