The family of all solutions has a natural structure as a median algebra, where the median of three solutions is formed by choosing each truth value to be the majority function of the values in the three solutions; it is straightforward to verify that this median solution cannot violate any of the clauses.
Az összes megoldás családjának természetes szerkezete egy mediánalgebra, ahol három megoldás mediánja úgy kapható meg, hogy minden igazságérték a három megoldás értékeiből többségi függvénnyel képzett értéket veszi fel; könnyen ellenőrizhető, hogy ez a medián megoldás nem sértheti meg egyetlen klózt sem.