Literal

Ein Literal $L$ ist eine Aussagenvariable $X\in AVar$ oder deren Negation $\neg X$ . $$\bar{L} := \begin{cases} \neg X & \text{if } L = X \ X & \text{if } L = \neg X. \end{cases}$$