The binary connective (mid) is called the Sheffer stroke, named for the American logic professor Henry Sheffer,
Question:
The binary connective \(\mid\) is called the Sheffer stroke, named for the American logic professor Henry Sheffer, who proved in 1913 that this single connective is the only one needed. The truth table for \(\mid\) is given here. Sheffer also coined the term "Boolean algebra," the topic of Chapter 8, where we will see that this truth table represents the NAND gate.
Show that every compound wff is equivalent to a wff using only the connective.
Fantastic news! We've Found the answer you've been seeking!
Step by Step Answer:
Related Book For
Mathematical Structures For Computer Science Discrete Mathematics And Its Applications
ISBN: 9781429215107
7th Edition
Authors: Judith L. Gersting
Question Posted: