Normalbedingungen der mehrwertigen Wahrheitswertfunktionen

Wir sagen, dass eine mehrwertige Wahrheitswertfunktion die Normalbedingung erfüllt, wenn gilt, dass sie nur die Quasiwahrheitswerte 0 oder 1 annimmt, falls die Argumente aus der Menge {0, 1} sind.

Wir sagen eine einstellige Wahrheitswertfunktion non(x) erfüllt die Normalbedingung der Negation, falls non(0) = 1 und non(1) = 0.

Wir sagen eine zweistellige Wahrheitswertfunktion et(x, y) erfüllt die Normalbedingung der Konjunktion, falls et(1, 1) = 1 und et(1, 0) = et(0, 1) = et(0, 0) = 0.

Wir sagen eine zweistellige Wahrheitswertfunktion vel(x, y) erfüllt die Normalbedingung der Alternative, falls vel(1, 1) = vel(1, 0) = vel(0, 1) = 1 und vel(0, 0) = 0,.

Wir sagen eine zweistellige Wahrheitswertfunktion seq(x, y) erfüllt die Normalbedingung der Implikation, falls seq(1, 1) = seq(0, 1) = seq(0, 0) = 1 und seq(1, 0) = 0.

Die Erfüllung der Normalbedingungen ist unabhängig von der Erfüllung der Standardbedingungen.