Theoreme sind Rechenregeln für die Verknüpfung einer Variablen mit einer Konstanten oder mit einer Variable mit sich selbst oder ihrer Negation.
Theoreme der UND-Verknüpfung
Theoreme der ODER-Verknüpfung
Theoreme der NICHT-Verknüpfung
Theoreme sind Rechenregeln für die Verknüpfung einer Variablen mit einer Konstanten oder mit einer Variable mit sich selbst oder ihrer Negation.