Benutzer:Antonsusi/Junktoren

A ¬A B 0 0 ¬B 0 0 ${\text{false}}$ Kontradiktion	A ¬A B 1 0 ¬B 0 0 $A\land B$ Konjunktion	A ¬A B 1 1 ¬B 0 0 $B$ Identität	A ¬A B 0 1 ¬B 0 0 $\neg A\land B\quad P\nleftarrow Q$ ?
A ¬A B 0 0 ¬B 1 0 $A\land \neg B$ ($P\nrightarrow Q$) Adjunktion(?)	A ¬A B 1 0 ¬B 1 0 $A$ Identität	A ¬A B 1 1 ¬B 1 0 $A\lor B$ Disjunktion	A ¬A B 0 1 ¬B 1 0 $A\not \equiv B$ Kontravalenz
A ¬A B 0 0 ¬B 1 1 $\neg B$ Negation	A ¬A B 1 0 ¬B 1 1 $A\lor \neg B\quad A\leftarrow B$ Konversion (?)	A ¬A B 1 1 ¬B 1 1 ${\text{true}}$ Tautologie	A ¬A B 0 1 ¬B 1 1 $\neg A\lor \neg B$ "NAND"
A ¬A B 0 0 ¬B 0 1 $\neg A\land \neg B$ "NOR"	A ¬A B 1 0 ¬B 0 1 $A\equiv B$ Bikonditional	A ¬A B 1 1 ¬B 0 1 $\neg A\lor B\quad A\rightarrow B$ Subjunktion	A ¬A B 0 1 ¬B 0 1 $\neg A$ Negation