REFERENCE
- Giloi (W), Liebig (H). Logischer Entwurf digitaler Systeme. 1973. Springer. Berlin, Heidelberg, New York.
- Petrjck (SR). A Direct Determination of the Irredundant Forms of a Boolean Expression from the Set of Prime Implicante. Cambridge Air Force Research Labs. Bedford, Mass. 1956.
- Nelson (RJ). Weak Simplest Normal Truth Function. J. of Symbolic Logic. 20, 1955; 232–234.
- Bartee (TC). Computer Design of Multiple-Output Logical Network. IRE Trans. EC-10, 1961; 21–30.
- Miller (RE). Switching Theory. Vol. 1: Combinatorial Circuits. 1965, J. Wiley. New York.
- Biswas (NN). Minimization of Boolean Functions. IEEE Trans. C-20, 1971; 925–929.
- Mccluskey (EJ). Introduction to the Theory of Switching Circuits. 1965. McGraw-Hill, New York. 165–175.