Lojban regards four of these 16 truth functions as fundamental, and assigns them the four vowels A , E , O , and U. These letters do not represent actual cmavo or selma'o, but rather a component vowel from which actual logical-connective cmavo are built up, as explained in the next section. Here are the four vowels, their truth tables, and rough English equivalents:
A | TTTF | or, and/or |
E | TFFF | and |
O | TFFT | if and only if |
U | TTFF | whether or not |
More precisely:
A is true if either or both sentences are true |
E is true if both sentences are true, but not otherwise |
O is true if the sentences are both true or both false |
U is true if the first sentence is true, regardless of the truth value of the second sentence |
With the four vowels, the ability to negate either sentence, and the ability to exchange the sentences, as if their order had been reversed, we can create all of the 16 possible truth functions except TTTT and FFFF, which are fairly useless anyway. The following table illustrates how to create each of the 14 remaining truth functions:
TTTF | A |
TTFT | A with second sentence negated |
TTFF | U |
TFTT | A with first sentence negated |
TFTF | U with sentences exchanged |
TFFT | O |
TFFF | E |
FTTT | A with both sentences negated |
FTTF | O with either first or second negated (not both) |
FTFT | U with sentences exchanged and then second negated |
FTFF | E with second sentence negated |
FFTT | U with first sentence negated |
FFTF | E with first sentence negated |
FFFT | E with both sentences negated |
Note that exchanging the sentences is only necessary with U. The three other basic truth functions are commutative; that is, they mean the same thing regardless of the order of the component sentences. There are other ways of getting some of these truth tables; these just happen to be the methods usually employed.