Система булевых уравнений.

[R45H]

$$ \begin{cases} \text{$x\leftrightarrow y = x$}\\ \text{$x\vee y = x$} \end{cases} $$

Я бы решил каждую строчку семантическим способом. Мне просто надо знать, правильно ли это и как записать решение?

[wolf.ram]

У меня получилось x=T и y=T.

[R45H]

Да пофиг чо там получилось. Мне бы узнать как записывать решение.

[svv]

Например, составить таблицу истинности для $x\leftrightarrow y = x$ и $x\vee y = x$ в зависимости от значений $x$ и $y$. Чтобы было удобно её вычислять, а также чтобы было правдоподобно, что Вы сами это вычислили, добавьте в таблицу несколько промежуточных выражений, например $x\vee y$.

[R45H]

svv в сообщении #534690 писал(а):

Например, составить таблицу истинности для $x\leftrightarrow y = x$ и $x\vee y = x$ в зависимости от значений $x$ и $y$. Чтобы было удобно её вычислять, а также чтобы было правдоподобно, что Вы сами это вычислили, добавьте в таблицу несколько промежуточных выражений, например $x\vee y$.

А дальше-то что? Допустим я составил таблицы истинности, и получились некие единички и нули. И что с ними делать?
Просто у меня были задания, где какое-то выражение равно чему-то, там составляются таблицы и выделяются те результаты, которые соответствуют уравнению.
А тут я не знаю что с системами делать.
Составить таблицы проще простого, но если бы это было всё, то нафига тогда система?

[svv]

Дальше Вы смотрите, при каких комбинациях значений $x$ и $y$ истинны оба утверждения $x\leftrightarrow y = x$ и $x\vee y = x$. В нашем случае только при $x=1$, $y=1$. Это и будет решением.