ring sum normal form

English edit

Etymology edit

"Ring sum" refers to a XOR-sum of monomials, where XOR is the additive operator of a Boolean ring.

Noun edit

ring sum normal form (uncountable)

  1. (algebra, logic) The form of a Boolean formula expressed using only the operators and constants of a Boolean ring (XOR, AND, 0, 1), some variables and possibly also coefficients, and without using any parentheses.

Synonyms edit

See also edit