Logic Matrices and the Truth Function Problem

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Logic Matrices and the Truth Function Problem

Full text

Pdf (491 KB)

Source

Journal of the ACM (JACM) archive
Volume 6 , Issue 3 (July 1959) table of contents

Pages: 405 - 414

Year of Publication: 1959

ISSN:0004-5411

Author

Douglas B. Netherwood

Wright Air Development Center, Ohio

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 2, Downloads (12 Months): 21, Citation Count: 1

Additional Information:

references cited by index terms peer to peer

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/320986.320995 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	W. V. QUINE, The problem of simplifying truth functions. Am. Math. Month. 59 (1952), 521-531.
	2	A. CHURCH, Introdz$ction to Mathematical Logic, Vol. I. Princeton University Press, 1956.
	3	D. SLSPIAN, On the number of symmetry types of Boolean functions of N variables, Canadian J. Math. 5 (1953), 185-193.
	4	D. W. DAVIES, Switching functions of three variables. Trans. IRE EC-6 (1957), 265- 275.
	5	R. J. NELS(IN, Review of {1}. J. Symbolic Logic 18 (1953), 280-282.
	6	E. j. MCCLUSKEV, JR., Minimization of Boolean functions. Bell Sys. Tech. J. $5 (1956), 1417-1444.
	7	----, Detection of group invariance or total symmetry of a Boolean function. Ibid., 1445-1453.
	8	~, (private communication).
	9	W. LEDERMANN, Introduction to the Theory of Finite Groups. (3rd Rev. Ed.), Oliver and Boyd, Edinburgh, 1957.