出典:Wiktionary
"Algebraic" would refer to the fact that a two-element Galois field, adjoined with some variables forms a polynomial algebra, .
algebraic normal form (uncountable)
出典:Wikipedia
出典:『Wikipedia』 (2011/03/31 09:50 UTC 版)
In Boolean logic, the algebraic normal form (ANF) is a method of standardizing and normalizing logical formulas. As a normal form, it can be used in automated theorem proving (ATP), but is more commonly used in the design of cryptographic random number generators, specifically linear feedback shift registers (LFSRs). A logical formula is considered to be in ANF if and only if it is a single algebraic sum (XOR) of a constant a0 and one or more conjunctions of the function arguments. ANF is also known as "Zhegalkin polynomials" (Russian: полиномы Жегалкина) and as "Positive Polarity (or Parity) Reed-Muller" expression.