pseudo-Boolean_algebra