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
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.
A 41 BAB TTF T F T FFF FT F F T T
Step by Step Solution
3.27 Rating (153 Votes )
There are 3 Steps involved in it
a For A wedge B to be true we would want to know that both parts are true if one part has ... View full answer
Get step-by-step solutions from verified subject matter experts
Study Help