ON THE CLASSIFICATION OF LINEARLY SEPARABLE TRUTH FUNCTIONS
Abstract
A solution to the classification problem of the linearly separable truth functions of n variables by reducing it to the enumeration of a special kind of truth functions called canonical truth functions is given. The classification problem is formulated and the canonical truth functions are defined. The key lemma is proved, and the reduction is described. (Author)
Document Details
- Document Type
- Technical Report
- Publication Date
- Jan 01, 1961
- Accession Number
- AD0263823
Entities
People
- Sze-tsen Hu
Organizations
- Lockheed Martin Missiles and Space