Abstract
Although there exists a normal form for the theory of Boolean Algebra w.r.t. associativity and commutativity, the so called set of prime implicants, there does not exist a convergent equational term rewriting system for the theory of boolean algebra modulo AC. The result seems well-known, but no formal proof exists as yet. In this paper a formal proof of this fact is given.
Preview
Unable to display preview. Download preview PDF.
References
Hullot, J.M. (1980). A Catalogue of Canonical Term Rewriting Systems. Report CSL-113, SRI International, Menlo Park, CA.
Hsiang, J. (1985). Refutational Theorem Proving using Term-rewriting Systems. Artificial Intelligence 25, 255–300.
Knuth, D.E.; Bendix, P.B. (1970). Simple Word Problems in Universal Algebra, in: J. Leech (Ed.): Computational Problems in Universal Algebra, Pergamon Press.
Lankford, D.S. & Ballantyne, A.M. (1977). Decision procedures for simple equational theories with a commutative axiom: Complete sets of commutative reductions. Tech. Report, Mathematics Dept., University of Texas, Austin, Texas.
Peterson, G.E. & Stickel, M.E. (1981). Complete Sets of Reductions for Some Equational Theories. Journal of the ACM, 28, 233–264.
Quine, W.V. (1952). The Problem of Simplifying Truth Functions. American Math. Monthly, 59, 521–531.
Quine, W.V. (1959). On Cores and Prime Implicants of Truth Functions. Am. Math. Monthly, 66, 755–760.
Rudeanu, S. (1974). Boolean Functions and Equations. North-Holland, Amsterdam.
Slagle, J.R.; Chang, C.L. & Lee, R.C.T. (1970). A New Algorithm for Generating Prime Implicants. IEEE Trans. on Comp. 19/4, 304–310.
Tison, P. (1967). Generalized Consensus Theory and Application to the Minimization of Boolean Functions. IEEE Trans. on Comp. 16/4, 446–456.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Socher-Ambrosius, R. (1991). Boolean algebra admits no convergent term rewriting system. In: Book, R.V. (eds) Rewriting Techniques and Applications. RTA 1991. Lecture Notes in Computer Science, vol 488. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-53904-2_102
Download citation
DOI: https://doi.org/10.1007/3-540-53904-2_102
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-53904-9
Online ISBN: 978-3-540-46383-2
eBook Packages: Springer Book Archive