Aussagenlogik: ist das genau derselbe Ausdruck nur anders formuliert?

Question

Ist das genau derselbe Ausdruck nur anders formuliert?

¬B ∨ A

¬A ∨ B

Comments

Genau derselbe ja wohl sowieso nicht.

Answer 1

Aloha :)

$$\begin{array}{r}A & B & \lnot A & \lnot B & \lnot B\lor A & \lnot A\lor B\\\hline0 & 0 & 1 & 1 & 1 & 1\\0 & 1 & 1 & 0 & 0 &1\\1 & 0 & 0 & 1 & 1 & 0\\1 & 1 & 0 & 0 & 1 & 1\\\hline\end{array}$$Die Ausdrücke sind offensichtlich nicht äquivalent.