/tags/classifying-sheffer-functions/ Recent content in Classifying Sheffer Functions on csimpson Hugo en Fri, 28 Nov 2025 00:00:00 -0800 /posts/classifying_pt1/ Fri, 28 Nov 2025 00:00:00 -0800 /posts/classifying_pt1/ <p>In the series <em><strong>Universal Boolean Functions</strong></em>, we looked at sets of Boolean functions that have the property that they can form any other Boolean function when we compose them together with projections. We paid special attention to <em><strong>Sheffer</strong></em> functions, which have the property that iterated composition of them with projections can form any Boolean function, or to put it another way if \(f\) is Sheffer, the set \(\{f\}\) is universal.</p>