Abstract:
We consider an algebra of formalized plane pictures with the complete
system of binary Boolean operations $(\&, \vee, \neg)$ which are executed
point-wise. We give the minimum and maximum values of the cardinality of
the basis. We define canonical systems of generators for subalgebras
and formulate in these terms a criterion of maximality (precompleteness)
of a subalgebra.