2013 IEEE 54th Annual Symposium on Foundations of Computer Science (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", 2013 IEEE 54th Annual Symposium on Foundations of Computer Science, vol. 00, no. , pp. 174-182, 1964, doi:10.1109/SWCT.1964.13