Junktoren

Logisches Nicht

$$\begin{array}{cc}A& \neg A\\ W& F\\ F& W\end{array}$$Link to original

Logisches Und

$$\begin{array}{ccc}A& B& A\wedge B\\ W& W& W\\ W& F& F\\ F& W& F\\ F& F& F\end{array}$$Link to original

Logisches Oder

$$\begin{array}{ccc}A& B& A\vee B\\ W& W& W\\ W& F& W\\ F& W& W\\ F& F& F\end{array}$$Link to original

wenn dann

$$\begin{array}{ccc}A& B& A\to B\\ W& W& W\\ W& F& F\\ F& W& W\\ F& F& W\end{array}$$Link to original

genau dann wenn

Summary:

This table shows that A and B are equivalent if and only if they have the same truth value.

Full answer:

$$\begin{array}{ccc}A& B& A\leftrightarrow B\\ W& W& W\\ W& F& F\\ F& W& F\\ F& F& W\end{array}$$

Bei Beweisen

→ beide Richtungen müssen bewiesen werden

Link to original

exklusives oder

$$\begin{array}{ccc}A& B& A\text{xor}B\\ W& W& F\\ W& F& W\\ F& W& W\\ F& F& F\end{array}$$Link to original