1964 Proceedings of the Fifth Annual Symposium on Switching Circuit Theory and Logical Design (1964)
Nov. 11, 1964 to Nov. 13, 1964
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SWCT.1964.13
This paper presents several uses of the logical connective of implication to problems of interest in switching theory. The implications which hold among the prime implicants of a function are examined. A new set of necessary and sufficient conditions for determining essential prime implicants and a rapid approximate method for obtaining minimal sums are included.
R. S. Gaines, "Implication techniques for Bollean functions," 1964 Proceedings of the Fifth Annual Symposium on Switching Circuit Theory and Logical Design(FOCS), vol. 00, no. , pp. 174-182, 1964.