论文信息 - Systems of Boolean Equations - 字舞流文

Systems of Boolean Equations

Ralph Marvin Toms | R. Toms

[1] Willard Van Orman Quine,et al. A Way to Simplify Truth Functions , 1955 .

[2] B. A. Bernstein. Note on the Condition that a Boolean Equation Have a Unique Solution , 1932 .

[3] Don A. Witcraft. The mechanization of logic II , 1960 .

[4] Willard Van Orman Quine,et al. The Problem of Simplifying Truth Functions , 1952 .

[5] A. Whitehead. Memoir on the Algebra of Symbolic Logic , 1901 .

[6] Midhat J. Ghazala. Irredundant Disjunctive and Conjunctive Forms of a Boolean Function , 1957, IBM J. Res. Dev..

[7] E. V. Huntington. Sets of independent postulates for the algebra of logic , 1904 .

[8] Claude E. Shannon,et al. A symbolic analysis of relay and switching circuits , 1938, Transactions of the American Institute of Electrical Engineers.

[9] Paul C. Rosenbloom,et al. The Elements of Mathematical Logic , 1951 .