What people are saying - Write a review
We haven't found any reviews in the usual places.
Equations in the Algebra of Logic
Some Results on the Centralizers of Monoids in Clone Theory
Partial Hyperclones on a Finite Set
20 other sections not shown
&-formula adders algorithm applied arithmetic axioms of Boolean binary bisemilattice bits block Boolean algebra Boolean functions carry-save CMOS coefficients complete components computation corresponding cube decision diagrams defined denote digit DSMs EGG system element encoding equation ESOP example expressions fault Figure finite full adder gate graph IEEE implementation interlaced bilattice lattice Lemma linear logic circuits logic functions logic value matrix maximal method minterm MLDRAM monoid multi-valued multi-valued logic multiple multiple-valued functions Multiple-Valued Logic MV-algebras MVL circuit mvsis number of nodes obtained operation output p-valued partial hyperoperation polarity Proc Proof quantum Reed-Muller Reed-Muller expansions relation representation represented Schmitt circuits semidual set of axioms shown shows Sierpinski gasket simulation subset technique ternary ternary logic Theorem threshold function tion transform transistor truth table truth value unary operation Valued Logic variable vector VLSI voltage