sheffer's stroke


sheffer's stroke

noun

  1. logic a function of two sentences, equivalent to the negation of their conjunction, and written p | q (p and q are both not true) where p,q, are the arguments: p | q is false only when p,q are both true. It is possible to construct all truth functions out of this one alone

Leave a Reply

Your email address will not be published. Required fields are marked *

47 queries 1.259