Truth Functions
Truth functions are functions from sequences of truth values to truth values. A unary truth function, for example, takes a single truth value and maps it onto another truth value. Similarly, a binary truth function maps ordered pairs of truth values onto truth values, while a ternary truth function maps ordered triples of truth values onto truth values, and so on.
In the unary case, there are two possible inputs, viz. T and F, and thus four possible unary truth functions: one mapping T to T and F to F, one mapping T to F and F to F, one mapping T to T and F to T, and finally one mapping T to F and F to T, this last one corresponding to the familiar operation of logical negation. In the form of a table, the four unary truth functions may be represented as follows.
| p | p | F | T | ~p |
|---|---|---|---|---|
| T | T | F | T | F |
| F | F | F | T | T |
In the binary case, there are four possible inputs, viz. (T,T), (T,F), (F,T), and (F,F), thus yielding sixteen possible binary truth functions. Quite generally, for any number n, there are possible n-ary truth functions. The sixteen possible binary truth functions are listed in the table below.
| p | q | T | NAND | → | ~p | ← | ~q | ↔ | NOR | ∨ | XOR | q | N← | p | N→ | & | F |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| T | T | T | F | T | F | T | F | T | F | T | F | T | F | T | F | T | F |
| T | F | T | T | F | F | T | T | F | F | T | T | F | F | T | T | F | F |
| F | T | T | T | T | T | F | F | F | F | T | T | T | T | F | F | F | F |
| F | F | T | T | T | T | T | T | T | T | F | F | F | F | F | F | F | F |
Read more about this topic: Logic Alphabet
Famous quotes containing the words truth and/or functions:
“When the doctrine of allegiance to party can utterly up-end a man’s moral constitution and make a temporary fool of him besides, what excuse are you going to offer for preaching it, teaching it, extending it, perpetuating it? Shall you say, the best good of the country demands allegiance to party? Shall you also say it demands that a man kick his truth and his conscience into the gutter, and become a mouthing lunatic, besides?”
—Mark Twain [Samuel Langhorne Clemens] (1835–1910)
“The mind is a finer body, and resumes its functions of feeding, digesting, absorbing, excluding, and generating, in a new and ethereal element. Here, in the brain, is all the process of alimentation repeated, in the acquiring, comparing, digesting, and assimilating of experience. Here again is the mystery of generation repeated.”
—Ralph Waldo Emerson (1803–1882)