Mathematics

Equivalent transformations of formulas in $P_2$

A. B. Ugol'nikov

Lomonosov Moscow State University, Faculty of Mechanics and Mathematics

Abstract: A new proof is given of the theorem originally proved by R. C. Lyndon that any equational class over a finite set of Boolean functions is finitely generated. The original proof of this theorem relied on E. L. Post's description of all closed classes of Boolean functions. J. Berman provided another proof of this theorem not based on description of Post's structure, but using some results from universal algebras.

Key words: formulas, identities, equivalent transformations.

UDC: 519.7

Received: 14.04.2009

Bibliographic databases:

• 
•