Eine Gleichung ist ein Ausdruck, der behauptet, dass zwei Terme den selben Wert haben. Dabei können beide Terme von Variablen abhängen. In diesem Fall hängt der Wahrheitswert der Gleichung von den Werten der Variablen ab.