Vector Boolean Algebra and Calculus
- 1 September 1976
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Computers
- Vol. C-25 (9) , 865-874
- https://doi.org/10.1109/tc.1976.1674711
Abstract
In this paper, binary-vector Boolean algebra, a generalization of ordinary Boolean algebra [6], is introduced. In this algebra, every element is represented by a binary vector and in addition to ordinary AND, OR, and NOT operations, a new operation called the rotation operation which rotates (rightward or leftward) the components of a binary vector is introduced. Moreover, the NOT or COMPLEMENTATION operation is extended to a more general operation called the generalized complement which includes the total complement (ordinary complement), the null complement (no complement), and newly introduced partial complements. Because of this generalization, all axioms and theorems of ordinary Boolean algebra are generalized. In particular, it is shown that DeMorgan's theorem, Shannon's theorem, and the expansion theorem are generalized into more general forms which include their corresponding ordinary version as a special case. It is also shown that any multivalued logic truth table can be represented by a vector Boolean function. Three compact canonical (sum-of-products and product-of-sums) forms of this function are presented.Keywords
This publication has 10 references indexed in Scilit:
- Boolean Differential Calculus and its Application to Switching TheoryIEEE Transactions on Computers, 1973
- The Relationship Between Multivalued Switching Algebra and Boolean Algebra Under Different Definitions of ComplementIEEE Transactions on Computers, 1972
- Boolean Difference for Fault Detection in Asynchronous Sequential MachinesIEEE Transactions on Computers, 1971
- An Efficient Algorithm for Generating Complete Test Sets for Combinational Logic CircuitsIEEE Transactions on Computers, 1971
- Analyzing Errors with the Boolean DifferenceIEEE Transactions on Computers, 1968
- Aximos and some properties of Post algebrasColloquium Mathematicum, 1963
- The Lattice Theory of Post AlgebrasTransactions of the American Mathematical Society, 1960
- On a Theory of Boolean FunctionsJournal of the Society for Industrial and Applied Mathematics, 1959
- A class of multiple-error-correcting codes and the decoding schemeTransactions of the IRE Professional Group on Information Theory, 1954
- Introduction to a General Theory of Elementary PropositionsAmerican Journal of Mathematics, 1921