The Exercise
Take bits , each equal to or , and write for the string they form, a point of . A Boolean function of bits assigns to each string a value , again or . The exercise gives one polynomial in variables and asks to show that, evaluated at any string of bits, it returns the logical disjunction (OR) of those bits, the value if at least one bit is and otherwise.
A Polynomial and a Boolean Function
The OR function of bits is the Boolean function (1)✦
The OR polynomial is the polynomial in the variables , with coefficients in a commutative ring , given by (2)✦
A polynomial in with coefficients in represents a Boolean function of bits if its value at every string of bits equals the value of there, the bits and the values and being read as the zero and the unit of : (3)✦
The Claim
Theorem 1. For any number of bits and any commutative ring of coefficients, the OR polynomial of (2) represents the OR function of (1): (4)✦
What Is Checked
The claim is stated over the OR polynomial (2), the OR function (1), and the relation (3) by which a polynomial represents a Boolean function.