IEEE - Institute of Electrical and Electronics Engineers, Inc. - Polynomial completeness criteria in finite Boolean algebras

Proceedings of 26th IEEE International Symposium on Multiple-Valued Logic (ISMVL'96)

Author(s): Romov, B.A.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1996
Conference Location: Santiago de Compostela, Spain, Spain
Conference Date: 29 May 1996
Page(s): 262 - 266
ISBN (Paper): 0-8186-7392-3
ISSN (Paper): 0195-623X
DOI: 10.1109/ISMVL.1996.508377
Regular:

For a given finite Boolean algebra with r(r/spl ges/2) atoms we consider the set BF(r) of all polynomials produced by superpositions of the main operations and r atomic constants. Using the... View More

Advertisement