In propositional logic, a propositional formula is a type of syntactic formula which is well formed and has a truth value. If the values of all variables in a propositional formula are given, it determines a unique truth value. A propositional formula may also be called a propositional expression, a sentence, or a sentential formula.
A propositional formula is constructed from simple propositions, such as "five is greater than three" or propositional variables such as p and q, using connectives or logical operators such as NOT, AND, OR, or IMPLIES; for example:
In mathematics, a propositional formula is often more briefly referred to as a "proposition", but, more precisely, a propositional formula is not a proposition but a formal expression that denotes a proposition, a formal object under discussion, just like an expression such as "x + y" is not a value, but denotes a value. In some contexts, maintaining the distinction may be of importance.
For the purposes of the propositional calculus, propositions (utterances, sentences, assertions) are considered to be either simple or compound.^{[1]} Compound propositions are considered to be linked by sentential connectives, some of the most common of which are "AND", "OR", "IF ... THEN ...", "NEITHER ... NOR ...", "... IS EQUIVALENT TO ..." . The linking semicolon ";", and connective "BUT" are considered to be expressions of "AND". A sequence of discrete sentences are considered to be linked by "AND"s, and formal analysis applies a recursive "parenthesis rule" with respect to sequences of simple propositions (see more below about wellformed formulas).
Simple propositions are declarative in nature, that is, they make assertions about the condition or nature of a particular object of sensation e.g. "This cow is blue", "There's a coyote!" ("That coyote IS there, behind the rocks.").^{[2]} Thus the simple "primitive" assertions must be about specific objects or specific states of mind. Each must have at least a subject (an immediate object of thought or observation), a verb (in the active voice and present tense preferred), and perhaps an adjective or adverb. "Dog!" probably implies "I see a dog" but should be rejected as too ambiguous.
For the purposes of the propositional calculus a compound proposition can usually be reworded into a series of simple sentences, although the result will probably sound stilted.
The predicate calculus goes a step further than the propositional calculus to an "analysis of the inner structure of propositions"^{[3]} It breaks a simple sentence down into two parts (i) its subject (the object (singular or plural) of discourse) and (ii) a predicate (a verb or possibly verbclause that asserts a quality or attribute of the object(s)). The predicate calculus then generalizes the "subjectpredicate" form (where  symbolizes concatenation (stringing together) of symbols) into a form with the following blanksubject structure " ___predicate", and the predicate in turn generalized to all things with that property.
The generalization of "this pig" to a (potential) member of two classes "winged things" and "blue things" means that it has a truthrelationship with both of these classes. In other words, given a domain of discourse "winged things", p is either found to be a member of this domain or not. Thus there is a relationship W (wingedness) between p (pig) and { T, F }, W(p) evaluates to { T, F } where { T, F } is the set of the boolean values "true" and "false". Likewise for B (blueness) and p (pig) and { T, F }: B(p) evaluates to { T, F }. So one now can analyze the connected assertions "B(p) AND W(p)" for its overall truthvalue, i.e.:
In particular, simple sentences that employ notions of "all", "some", "a few", "one of", etc. called logical quantifiers are treated by the predicate calculus. Along with the new function symbolism "F(x)" two new symbols are introduced: ∀ (For all), and ∃ (There exists ..., At least one of ... exists, etc.). The predicate calculus, but not the propositional calculus, can establish the formal validity of the following statement:
Tarski asserts that the notion of IDENTITY (as distinguished from LOGICAL EQUIVALENCE) lies outside the propositional calculus; however, he notes that if a logic is to be of use for mathematics and the sciences it must contain a "theory" of IDENTITY.^{[4]} Some authors refer to "predicate logic with identity" to emphasize this extension. See more about this below.
An algebra (and there are many different ones), loosely defined, is a method by which a collection of symbols called variables together with some other symbols such as parentheses (, ) and some subset of symbols such as *, +, ~, &, ∨, =, ≡, ∧, ￢ are manipulated within a system of rules. These symbols, and wellformed strings of them, are said to represent objects, but in a specific algebraic system these objects do not have meanings. Thus work inside the algebra becomes an exercise in obeying certain laws (rules) of the algebra's syntax (symbolformation) rather than in semantics (meaning) of the symbols. The meanings are to be found outside the algebra.
For a wellformed sequence of symbols in the algebra —a formula— to have some usefulness outside the algebra the symbols are assigned meanings and eventually the variables are assigned values; then by a series of rules the formula is evaluated.
When the values are restricted to just two and applied to the notion of simple sentences (e.g. spoken utterances or written assertions) linked by propositional connectives this whole algebraic system of symbols and rules and evaluationmethods is usually called the propositional calculus or the sentential calculus.
While some of the familiar rules of arithmetic algebra continue to hold in the algebra of propositions (e.g. the commutative and associative laws for AND and OR), some do not (e.g. the distributive laws for AND, OR and NOT).
Analysis: In deductive reasoning, philosophers, rhetoricians and mathematicians reduce arguments to formulas and then study them (usually with truth tables) for correctness (soundness). For example: Is the following argument sound?
Engineers analyze the logic circuits they have designed using synthesis techniques and then apply various reduction and minimization techniques to simplify their designs.
Synthesis: Engineers in particular synthesize propositional formulas (that eventually end up as circuits of symbols) from truth tables. For example, one might write down a truth table for how binary addition should behave given the addition of variables "b" and "a" and "carry_in" "ci", and the results "carry_out" "co" and "sum" Σ:
row  b  a  ci  (b+a)+ci  co  Σ  

0  0  0  0  0  0  0  
1  0  0  1  1  0  1  
2  0  1  0  1  0  1  
3  0  1  1  2  1  0  
4  1  0  0  1  0  1  
5  1  0  1  2  1  0  
6  1  1  0  2  1  0  
7  1  1  1  3  1  1 
The simplest type of propositional formula is a propositional variable. Propositions that are simple (atomic), symbolic expressions are often denoted by variables named p, q, or P, Q, etc. A propositional variable is intended to represent an atomic proposition (assertion), such as "It is Saturday" = p (here the symbol = means " ... is assigned the variable named ...") or "I only go to the movies on Monday" = q.
Evaluation of a propositional formula begins with assignment of a truth value to each variable. Because each variable represents a simple sentence, the truth values are being applied to the "truth" or "falsity" of these simple sentences.
Truth values in rhetoric, philosophy and mathematics
The truth values are only two: { TRUTH "T", FALSITY "F" }. An empiricist puts all propositions into two broad classes: analytic—true no matter what (e.g. tautology), and synthetic—derived from experience and thereby susceptible to confirmation by third parties (the verification theory of meaning).^{[5]} Empiricits hold that, in general, to arrive at the truthvalue of a synthetic proposition, meanings (patternmatching templates) must first be applied to the words, and then these meaningtemplates must be matched against whatever it is that is being asserted. For example, my utterance "That cow is blue!" Is this statement a TRUTH? Truly I said it. And maybe I am seeing a blue cow—unless I am lying my statement is a TRUTH relative to the object of my (perhaps flawed) perception. But is the blue cow "really there"? What do you see when you look out the same window? In order to proceed with a verification, you will need a prior notion (a template) of both "cow" and "blue", and an ability to match the templates against the object of sensation (if indeed there is one).^{[citation needed]}
Truth values in engineering
Engineers try to avoid notions of truth and falsity that bedevil philosophers, but in the final analysis engineers must trust their measuring instruments. In their quest for robustness, engineers prefer to pull known objects from a small library—objects that have welldefined, predictable behaviors even in large combinations, (hence their name for the propositional calculus: "combinatorial logic"). The fewest behaviors of a single object are two (e.g. { OFF, ON }, { open, shut }, { UP, DOWN } etc.), and these are put in correspondence with { 0, 1 }. Such elements are called digital; those with a continuous range of behaviors are called analog. Whenever decisions must be made in an analog system, quite often an engineer will convert an analog behavior (the door is 45.32146% UP) to digital (e.g. DOWN=0 ) by use of a comparator.^{[6]}
Thus an assignment of meaning of the variables and the two valuesymbols { 0, 1 } comes from "outside" the formula that represents the behavior of the (usually) compound object. An example is a garage door with two "limit switches", one for UP labelled SW_U and one for DOWN labelled SW_D, and whatever else is in the door's circuitry. Inspection of the circuit (either the diagram or the actual objects themselves—door, switches, wires, circuit board, etc.) might reveal that, on the circuit board "node 22" goes to +0 volts when the contacts of switch "SW_D" are mechanically in contact ("closed") and the door is in the "down" position (95% down), and "node 29" goes to +0 volts when the door is 95% UP and the contacts of switch SW_U are in mechanical contact ("closed").^{[7]} The engineer must define the meanings of these voltages and all possible combinations (all 4 of them), including the "bad" ones (e.g. both nodes 22 and 29 at 0 volts, meaning that the door is open and closed at the same time). The circuit mindlessly responds to whatever voltages it experiences without any awareness of TRUTH or FALSEHOOD, RIGHT or WRONG, SAFE or DANGEROUS.^{[citation needed]}
Arbitrary propositional formulas are built from propositional variables and other propositional formulas using propositional connectives. Examples of connectives include:
The following are the connectives common to rhetoric, philosophy and mathematics together with their truth tables. The symbols used will vary from author to author and between fields of endeavor. In general the abbreviations "T" and "F" stand for the evaluations TRUTH and FALSITY applied to the variables in the propositional formula (e.g. the assertion: "That cow is blue" will have the truthvalue "T" for Truth or "F" for Falsity, as the case may be.).
The connectives go by a number of different wordusages, e.g. "a IMPLIES b" is also said "IF a THEN b". Some of these are shown in the table.
b only if a  
b IS SUFFICIENT FOR a  b PRECISELY WHEN a  
a IS NECESSARY FOR b  b IF AND ONLY IF a; b IFF a  
inclusive OR  IF b THEN a  b IS NECESSARY AND SUFFICIENT FOR a  
negation  negation  conjunction  disjunction  implication  biconditional  
variables  NOT b  NOT a  b AND a  b OR a  b IMPLIES a  b IS logically equivalent TO a ***  f IS A tautology  NEITHER a NOR b  b stroke a  exclusive OR  

b  a  ¬(b)  ¬(a)  (b ∧ a)  (b ∨ a)  (b → a)  (b ↔ a)  (f = formula)  (a NOR b)  (ba)  various 
F  F  T  T  F  F  T  T  T  T  T  F 
F  T  T  F  F  T  T  F  T  F  T  T 
T  F  F  T  F  T  F  F  T  F  T  T 
T  T  F  F  T  T  T  T  T  F  F  F 
In general, the engineering connectives are just the same as the mathematics connectives excepting they tend to evaluate with "1" = "T" and "0" = "F". This is done for the purposes of analysis/minimization and synthesis of formulas by use of the notion of minterms and Karnaugh maps (see below). Engineers also use the words logical product from Boole's notion (a*a = a) and logical sum from Jevons' notion (a+a = a).^{[8]}
logical product  logical sum  halfadder (no carry)  

exclusive OR  
row number  variables  NOT  NOT  AND  OR  NAND  NOR  XOR  
b*2^{1}+a*2^{0}  b  a  ~(b)  ~(a)  (b & a)  (b ∨ a)  ~(b & a)  ~(b ∨ a)  ⊕ 
0  0  0  1  1  0  0  1  1  0 
1  0  1  1  0  0  1  1  0  1 
2  1  0  0  1  0  1  1  0  1 
3  1  1  0  0  1  1  0  0  0 
The IF ... THEN ... ELSE ... connective appears as the simplest form of CASE operator of recursion theory and computation theory and is the connective responsible for conditional goto's (jumps, branches). From this one connective all other connectives can be constructed (see more below). Although " IF c THEN b ELSE a " sounds like an implication it is, in its most reduced form, a switch that makes a decision and offers as outcome only one of two alternatives "a" or "b" (hence the name switch statement in the C programming language).^{[9]}
The following three propositions are equivalent (as indicated by the logical equivalence sign ≡ ):
Thus IF ... THEN ... ELSE—unlike implication—does not evaluate to an ambiguous "TRUTH" when the first proposition is false i.e. c = F in (c → b). For example, most people would reject the following compound proposition as a nonsensical non sequitur because the second sentence is not connected in meaning to the first.^{[10]}
In recognition of this problem, the sign → of formal implication in the propositional calculus is called material implication to distinguish it from the everyday, intuitive implication.^{[a]}
The use of the IF ... THEN ... ELSE construction avoids controversy because it offers a completely deterministic choice between two stated alternatives; it offers two "objects" (the two alternatives b and a), and it selects between them exhaustively and unambiguously.^{[12]} In the truth table below, d1 is the formula: ( (IF c THEN b) AND (IF NOTc THEN a) ). Its fully reduced form d2 is the formula: ( (c AND b) OR (NOTc AND a). The two formulas are equivalent as shown by the columns "=d1" and "=d2". Electrical engineers call the fully reduced formula the ANDORSELECT operator. The CASE (or SWITCH) operator is an extension of the same idea to n possible, but mutually exclusive outcomes. Electrical engineers call the CASE operator a multiplexer.
d1  d2  
row  c  b  a  (  (  c  →  b  )  &  (  ~  (  c  )  →  a  )  )  =d1  (  (  c  &  b  )  ∨  (  ~  (  c  )  &  a  )  )  =d2  

0  0  0  0  0  1  0  0  1  0  0  0  0  0  0  0  0  1  0  0  0  0  
1  0  0  1  0  1  0  1  1  0  1  1  1  0  0  0  1  1  0  1  1  1  
2  0  1  0  0  1  1  0  1  0  0  0  0  0  0  1  0  1  0  0  0  0  
3  0  1  1  0  1  1  1  1  0  1  1  1  0  0  1  1  1  0  1  1  1  
4  1  0  0  1  0  0  0  0  1  1  0  0  1  0  0  0  0  1  0  0  0  
5  1  0  1  1  0  0  0  0  1  1  1  0  1  0  0  0  0  1  0  1  0  
6  1  1  0  1  1  1  1  0  1  1  0  1  1  1  1  1  0  1  0  0  1  
7  1  1  1  1  1  1  1  0  1  1  1  1  1  1  1  1  0  1  0  1  1 
The first table of this section stars *** the entry logical equivalence to note the fact that "Logical equivalence" is not the same thing as "identity". For example, most would agree that the assertion "That cow is blue" is identical to the assertion "That cow is blue". On the other hand, logical equivalence sometimes appears in speech as in this example: " 'The sun is shining' means 'I'm biking' " Translated into a propositional formula the words become: "IF 'the sun is shining' THEN 'I'm biking', AND IF 'I'm biking' THEN 'the sun is shining'":^{[13]}
Different authors use different signs for logical equivalence: ↔ (e.g. Suppes, Goodstein, Hamilton), ≡ (e.g. Robbin), ⇔ (e.g. Bender and Williamson). Typically identity is written as the equals sign =. One exception to this rule is found in Principia Mathematica. For more about the philosophy of the notion of IDENTITY see Leibniz's law.
As noted above, Tarski considers IDENTITY to lie outside the propositional calculus, but he asserts that without the notion, "logic" is insufficient for mathematics and the deductive sciences. In fact the sign comes into the propositional calculus when a formula is to be evaluated.^{[14]}
In some systems there are no truth tables, but rather just formal axioms (e.g. strings of symbols from a set { ~, →, (, ), variables p_{1}, p_{2}, p_{3}, ... } and formulaformation rules (rules about how to make more symbol strings from previous strings by use of e.g. substitution and modus ponens). the result of such a calculus will be another formula (i.e. a wellformed symbol string). Eventually, however, if one wants to use the calculus to study notions of validity and truth, one must add axioms that define the behavior of the symbols called "the truth values" {T, F} ( or {1, 0}, etc.) relative to the other symbols.
For example, Hamilton uses two symbols = and ≠ when he defines the notion of a valuation v of any wellformed formulas (wffs) A and B in his "formal statement calculus" L. A valuation v is a function from the wffs of his system L to the range (output) { T, F }, given that each variable p_{1}, p_{2}, p_{3} in a wff is assigned an arbitrary truth value { T, F }.
v(A) ≠ v(~A)


(i) 
v(A → B) = F if and only if v(A) = T and v(B) = F


(ii) 
The two definitions (i) and (ii) define the equivalent of the truth tables for the ~ (NOT) and → (IMPLICATION) connectives of his system. The first one derives F ≠ T and T ≠ F, in other words " v(A) does not mean v(~A)". Definition (ii) specifies the third row in the truth table, and the other three rows then come from an application of definition (i). In particular (ii) assigns the value F (or a meaning of "F") to the entire expression. The definitions also serve as formation rules that allow substitution of a value previously derived into a formula:
v(A→B)  
(  v(A)  →  v(B)  ) 
F  T  F  
F  T  T  
T  F  F  
T  T  T 
Some formal systems specify these valuation axioms at the outset in the form of certain formulas such as the law of contradiction or laws of identity and nullity. The choice of which ones to use, together with laws such as commutation and distribution, is up to the system's designer as long as the set of axioms is complete (i.e. sufficient to form and to evaluate any wellformed formula created in the system).
As shown above, the CASE (IF c THEN b ELSE a ) connective is constructed either from the 2argument connectives IF ... THEN ... and AND or from OR and AND and the 1argument NOT. Connectives such as the nargument AND (a & b & c & ... & n), OR (a ∨ b ∨ c ∨ ... ∨ n) are constructed from strings of twoargument AND and OR and written in abbreviated form without the parentheses. These, and other connectives as well, can then be used as building blocks for yet further connectives. Rhetoricians, philosophers, and mathematicians use truth tables and the various theorems to analyze and simplify their formulas.
Electrical engineering uses drawn symbols and connect them with lines that stand for the mathematicals act of substitution and replacement. They then verify their drawings with truth tables and simplify the expressions as shown below by use of Karnaugh maps or the theorems. In this way engineers have created a host of "combinatorial logic" (i.e. connectives without feedback) such as "decoders", "encoders", "mutifunction gates", "majority logic", "binary adders", "arithmetic logic units", etc.
A definition creates a new symbol and its behavior, often for the purposes of abbreviation. Once the definition is presented, either form of the equivalent symbol or formula can be used. The following symbolism =_{Df} is following the convention of Reichenbach.^{[15]} Some examples of convenient definitions drawn from the symbol set { ~, &, (, ) } and variables. Each definition is producing a logically equivalent formula that can be used for substitution or replacement.
The definitions above for OR, IMPLICATION, XOR, and logical equivalence are actually schemas (or "schemata"), that is, they are models (demonstrations, examples) for a general formula format but shown (for illustrative purposes) with specific letters a, b, c for the variables, whereas any variable letters can go in their places as long as the letter substitutions follow the rule of substitution below.
Substitution: The variable or subformula to be substituted with another variable, constant, or subformula must be replaced in all instances throughout the overall formula.
Replacement: (i) the formula to be replaced must be within a tautology, i.e. logically equivalent ( connected by ≡ or ↔) to the formula that replaces it, and (ii) unlike substitution its permissible for the replacement to occur only in one place (i.e. for one formula).
The classical presentation of propositional logic (see Enderton 2002) uses the connectives . The set of formulas over a given set of propositional variables is inductively defined to be the smallest set of expressions such that:
This inductive definition can be easily extended to cover additional connectives.
The inductive definition can also be rephrased in terms of a closure operation (Enderton 2002). Let V denote a set of propositional variables and let X_{V} denote the set of all strings from an alphabet including symbols in V, left and right parentheses, and all the logical connectives under consideration. Each logical connective corresponds to a formula building operation, a function from XX_{V} to XX_{V}:
The set of formulas over V is defined to be the smallest subset of XX_{V} containing V and closed under all the formula building operations.
The following "laws" of the propositional calculus are used to "reduce" complex formulas. The "laws" can be verified easily with truth tables. For each law, the principal (outermost) connective is associated with logical equivalence ≡ or identity =. A complete analysis of all 2^{n} combinations of truthvalues for its n distinct variables will result in a column of 1's (T's) underneath this connective. This finding makes each law, by definition, a tautology. And, for a given law, because its formula on the left and right are equivalent (or identical) they can be substituted for one another.
P  taut  Q  
b  a  (  ~  (  b  V  a  )  ≡  (  ~  (  b  )  &  ~  (  a  )  )  )  
0  0  1  0  0  0  1  1  0  1  1  0  
0  1  0  0  1  1  1  1  0  0  0  1  
1  0  0  1  1  0  1  0  1  0  1  0  
1  1  0  1  1  1  1  0  1  0  0  1 
Enterprising readers might challenge themselves to invent an "axiomatic system" that uses the symbols { ∨, &, ~, (, ), variables a, b, c }, the formation rules specified above, and as few as possible of the laws listed below, and then derive as theorems the others as well as the truthtable valuations for ∨, &, and ~. One set attributed to Huntington (1904) (Suppes:204) uses eight of the laws defined below.
If used in an axiomatic system, the symbols 1 and 0 (or T and F) are considered to be wellformed formulas and thus obey all the same rules as the variables. Thus the laws listed below are actually axiom schemas, that is, they stand in place of an infinite number of instances. Thus ( x ∨ y ) ≡ ( y ∨ x ) might be used in one instance, ( p ∨ 0 ) ≡ ( 0 ∨ p ) and in another instance ( 1 ∨ q ) ≡ ( q ∨ 1 ), etc.
In general, to avoid confusion during analysis and evaluation of propositional formulas, one can make liberal use of parentheses. However, quite often authors leave them out. To parse a complicated formula one first needs to know the seniority, or rank, that each of the connectives (excepting *) has over the other connectives. To "wellform" a formula, start with the connective with the highest rank and add parentheses around its components, then move down in rank (paying close attention to the connective's scope over which it is working). From most to leastsenior, with the predicate signs ∀x and ∃x, the IDENTITY = and arithmetic signs added for completeness:^{[b]}
Thus the formula can be parsed—but because NOT does not obey the distributive law, the parentheses around the inner formula (~c & ~d) is mandatory:
Both AND and OR obey the commutative law and associative law:
Omitting parentheses in strings of AND and OR: The connectives are considered to be unary (onevariable, e.g. NOT) and binary (i.e. twovariable AND, OR, IMPLIES). For example:
However, a truthtable demonstration shows that the form without the extra parentheses is perfectly adequate.
Omitting parentheses with regards to a singlevariable NOT: While ~(a) where a is a single variable is perfectly clear, ~a is adequate and is the usual way this literal would appear. When the NOT is over a formula with more than one symbol, then the parentheses are mandatory, e.g. ~(a ∨ b).
OR distributes over AND and AND distributes over OR. NOT does not distribute over AND or OR. See below about De Morgan's law:
NOT, when distributed over OR or AND, does something peculiar (again, these can be verified with a truthtable):
Absorption, in particular the first one, causes the "laws" of logic to differ from the "laws" of arithmetic:
The sign " = " (as distinguished from logical equivalence ≡, alternately ↔ or ⇔) symbolizes the assignment of value or meaning. Thus the string (a & ~(a)) symbolizes "0", i.e. it means the same thing as symbol "0" ". In some "systems" this will be an axiom (definition) perhaps shown as ( (a & ~(a)) =_{Df} 0 ); in other systems, it may be derived in the truth table below:
c  taut  c  
a  (  (  a  &  ~  (  a  )  )  ≡  0  )  
0  0  0  1  0  1  0  
1  1  0  0  1  1  0 
A key property of formulas is that they can be uniquely parsed to determine the structure of the formula in terms of its propositional variables and logical connectives. When formulas are written in infix notation, as above, unique readability is ensured through an appropriate use of parentheses in the definition of formulas. Alternatively, formulas can be written in Polish notation or reverse Polish notation, eliminating the need for parentheses altogether.
The inductive definition of infix formulas in the previous section can be converted to a formal grammar in BackusNaur form:
<formula> ::= <propositional variable>
 ( ¬ <formula> )
 ( <formula> ∧ <formula>)
 ( <formula> ∨ <formula> )
 ( <formula> → <formula> )
 ( <formula> ↔ <formula> )
It can be shown that any expression matched by the grammar has a balanced number of left and right parentheses, and any nonempty initial segment of a formula has more left than right parentheses.^{[17]} This fact can be used to give an algorithm for parsing formulas. For example, suppose that an expression x begins with . Starting after the second symbol, match the shortest subexpression y of x that has balanced parentheses. If x is a formula, there is exactly one symbol left after this expression, this symbol is a closing parenthesis, and y itself is a formula. This idea can be used to generate a recursive descent parser for formulas.
Example of parenthesis counting:
This method locates as "1" the principal connective — the connective under which the overall evaluation of the formula occurs for the outermost parentheses (which are often omitted).^{[18]} It also locates the innermost connective where one would begin evaluatation of the formula without the use of a truth table, e.g. at "level 6".
start  (  (  (  c  &  d  )  V  (  p  &  ~  (  (  c  &  ~  (  d  )  )  )  )  )  =  (  (  (  c  &  d  )  V  (  p  &  d  )  )  V  (  p  &  ~  (  c  )  )  )  )  

count  0  1  2  3  3  3  3  2  2  3  3  3  3  4  5  5  5  5  6  6  5  4  3  3  1  1  2  3  4  4  4  4  3  3  4  4  4  4  3  2  2  3  3  3  3  3  3  3  2  1  0 
The notion of valid argument is usually applied to inferences in arguments, but arguments reduce to propositional formulas and can be evaluated the same as any other propositional formula. Here a valid inference means: "The formula that represents the inference evaluates to "truth" beneath its principal connective, no matter what truthvalues are assigned to its variables", i.e. the formula is a tautology.^{[19]} Quite possibly a formula will be wellformed but not valid. Another way of saying this is: "Being wellformed is necessary for a formula to be valid but it is not sufficient." The only way to find out if it is both wellformed and valid is to submit it to verification with a truth table or by use of the "laws":
W  G  arg  
a  b  (  (  (  a  >  b  )  &  b  )  >  a  )  
0  0  0  1  0  0  0  1  0  
0  1  0  1  1  1  1  0  0  
1  0  1  0  0  0  0  1  1  
1  1  1  1  1  1  1  1  1 
A set of logical connectives is called complete if every propositional formula is tautologically equivalent to a formula with just the connectives in that set. There are many complete sets of connectives, including , , and . There are two binary connectives that are complete on their own, corresponding to NAND and NOR, respectively.^{[20]} Some pairs are not complete, for example .
The binary connective corresponding to NAND is called the Sheffer stroke, and written with a vertical bar  or vertical arrow ↑. The completeness of this connective was noted in Principia Mathematica (1927:xvii). Since it is complete on its own, all other connectives can be expressed using only the stroke. For example, where the symbol " ≡ " represents logical equivalence:
In particular, the zeroary connectives (representing truth) and (representing falsity) can be expressed using the stroke:
This connective together with { 0, 1 }, ( or { F, T } or { , } ) forms a complete set. In the following the IF...THEN...ELSE relation (c, b, a) = d represents ( (c → b) ∨ (~c → a) ) ≡ ( (c & b) ∨ (~c & a) ) = d
Example: The following shows how a theorembased proof of "(c, b, 1) ≡ (c → b)" would proceed, below the proof is its truthtable verification. ( Note: (c → b) is defined to be (~c ∨ b) ):
In the following truth table the column labelled "taut" for tautology evaluates logical equivalence (symbolized here by ≡) between the two columns labelled d. Because all four rows under "taut" are 1's, the equivalence indeed represents a tautology.
d  taut  d  
rows  c  b  a  (  (  (  c  &  b  )  V  (  ~  (  c  )  &  a  )  )  ≡  (  ~  (  c  )  V  b  )  )  
0,1  0  0  1  0  0  0  1  1  0  1  1  1  1  0  1  0  
2,3  0  1  1  0  0  1  1  1  0  1  1  1  1  0  1  1  
4,5  1  0  1  1  0  0  0  0  1  0  1  1  0  1  0  0  
6,7  1  1  1  1  1  1  1  0  1  0  1  1  0  1  1  1 
An arbitrary propositional formula may have a very complicated structure. It is often convenient to work with formulas that have simpler forms, known as normal forms. Some common normal forms include conjunctive normal form and disjunctive normal form. Any propositional formula can be reduced to its conjunctive or disjunctive normal form.
Reduction to normal form is relatively simple once a truth table for the formula is prepared. But further attempts to minimize the number of literals (see below) requires some tools: reduction by De Morgan's laws and truth tables can be unwieldy, but Karnaugh maps are very suitable a small number of variables (5 or less). Some sophisticated tabular methods exist for more complex circuits with multiple outputs but these are beyond the scope of this article; for more see Quine–McCluskey algorithm.
In electrical engineering, a variable x or its negation ~(x) can be referred to as a literal. A string of literals connected by ANDs is called a term. A string of literals connected by OR is called an alterm. Typically the literal ~(x) is abbreviated ~x. Sometimes the &symbol is omitted altogether in the manner of algebraic multiplication.
In the same way that a 2^{n}row truth table displays the evaluation of a propositional formula for all 2^{n} possible values of its variables, n variables produces a 2^{n}square Karnaugh map (even though we cannot draw it in its fulldimensional realization). For example, 3 variables produces 2^{3} = 8 rows and 8 Karnaugh squares; 4 variables produces 16 truthtable rows and 16 squares and therefore 16 minterms. Each Karnaughmap square and its corresponding truthtable evaluation represents one minterm.
Any propositional formula can be reduced to the "logical sum" (OR) of the active (i.e. "1" or "T"valued) minterms. When in this form the formula is said to be in disjunctive normal form. But even though it is in this form, it is not necessarily minimized with respect to either the number of terms or the number of literals.
In the following table, observe the peculiar numbering of the rows: (0, 1, 3, 2, 6, 7, 5, 4, 0). The first column is the decimal equivalent of the binary equivalent of the digits "cba", in other words:
This numbering comes about because as one moves down the table from row to row only one variable at a time changes its value. Gray code is derived from this notion. This notion can be extended to three and fourdimensional hypercubes called Hasse diagrams where each corner's variables change only one at a time as one moves around the edges of the cube. Hasse diagrams (hypercubes) flattened into two dimensions are either Veitch diagrams or Karnaugh maps (these are virtually the same thing).
When working with Karnaugh maps one must always keep in mind that the top edge "wrap arounds" to the bottom edge, and the left edge wraps around to the right edge—the Karnaugh diagram is really a three or four or ndimensional flattened object.
decimal equivalent of (c, b, a)  c  b  a  minterm 

0  0  0  0  (~c & ~b & ~a) 
1  0  0  1  (~c & ~b & a) 
3  0  1  1  (~c & b & a) 
2  0  1  0  (~c & b & ~a) 
6  1  1  0  (c & b & ~a) 
7  1  1  1  (c & b & a) 
5  1  0  1  (c & ~b & a) 
4  1  0  0  (c & ~b & ~a) 
0  0  0  0  (~a & ~b & ~c) 
Veitch improved the notion of Venn diagrams by converting the circles to abutting squares, and Karnaugh simplified the Veitch diagram by converting the minterms, written in their literalform (e.g. ~abc~d) into numbers.^{[21]} The method proceeds as follows:
Produce the formula's truth table. Number its rows using the binaryequivalents of the variables (usually just sequentially 0 through n1) for n variables.
Example: ((c & d) ∨ (p & ~(c & (~d)))) = q in conjunctive normal form is:
However, this formula be reduced both in the number of terms (from 4 to 3) and in the total count of its literals (12 to 6).
row  Minterms  p  d  c  (  (  c  &  d  )  ∨  (  p  &  ~  (  (  c  &  ~  (  d  )  )  )  )  )  Active minterms  Formula in conjunctive normal form 

0  ( ~p & ~d & ~c )  0  0  0  0  0  0  0  0  0  1  0  0  1  0  
1  ( ~p & ~d & c)  0  0  1  1  0  0  0  0  0  0  1  1  1  0  
2  ( ~p & d & ~c )  0  1  0  0  0  1  0  0  0  1  0  0  0  1  
3  ( ~p & d & c )  0  1  1  1  1  1  1  0  0  1  1  0  0  1  (~p & d & c)  
4  ( p & ~d & ~c )  1  0  0  0  0  0  1  1  1  1  0  0  1  0  (~p & d & c)  
5  ( p & ~d & c )  1  0  1  1  0  0  0  1  0  0  1  1  1  0  
6  ( p & d & ~c )  1  1  0  0  0  1  1  1  1  1  0  0  0  1  (p & d & ~c)  
7  ( p & d & c )  1  1  1  0  1  1  1  1  1  1  1  0  0  1  ( p & d & c )  
q  = (~p&d&c) ∨ (~p&d&c) ∨ (p&d&~c ) ∨ (p&d&c ) 
Use the values of the formula (e.g. "p") found by the truthtable method and place them in their into their respective (associated) Karnaugh squares (these are numbered per the Gray code convention). If values of "d" for "don't care" appear in the table, this adds flexibility during the reduction phase.
Minterms of adjacent (abutting) 1squares (Tsquares) can be reduced with respect to the number of their literals, and the number terms also will be reduced in the process. Two abutting squares (2 x 1 horizontal or 1 x 2 vertical, even the edges represent abutting squares) lose one literal, four squares in a 4 x 1 rectangle (horizontal or vertical) or 2 x 2 square (even the four corners represent abutting squares) lose two literals, eight squares in a rectangle lose 3 literals, etc. (One seeks out the largest square or rectangles and ignores the smaller squares or rectangles contained totally within it. ) This process continues until all abutting squares are accounted for, at which point the propositional formula is minimized.
For example, squares #3 and #7 abut. These two abutting squares can lose one literal (e.g. "p" from squares #3 and #7), four squares in a rectangle or square lose two literals, eight squares in a rectangle lose 3 literals, etc. (One seeks out the largest square or rectangles.) This process continues until all abutting squares are accounted for, at which point the propositional formula is said to be minimized.
Example: The map method usually is done by inspection. The following example expands the algebraic method to show the "trick" behind the combining of terms on a Karnaugh map:
Observe that by the Idempotency law (A ∨ A) = A, we can create more terms. Then by association and distributive laws the variables to disappear can be paired, and then "disappeared" with the Law of contradiction (x & ~x)=0. The following uses brackets [ and ] only to keep track of the terms; they have no special significance:
row  Minterms  p  d  c  (  (  d  &  c  )  ∨  (  p  &  d  )  ∨  (  p  &  ~  (  c  )  ) 

0  ( ~p & ~d & ~c )  0  0  0  0  0  0  0  0  0  0  0  0  0  1  0  
1  ( ~p & ~d & c)  0  0  1  0  0  1  0  0  0  0  0  0  0  0  1  
2  ( ~p & d & ~c )  0  1  0  1  0  0  0  0  0  1  0  0  0  1  0  
3  ( ~p & d & c )  0  1  1  1  1  1  1  0  0  1  1  0  0  0  1  
4  ( p & ~d & ~c )  1  0  0  0  0  0  0  1  0  0  1  1  1  1  0  
5  ( p & ~d & c )  1  0  1  0  0  1  0  1  0  0  0  1  0  0  1  
6  ( p & d & ~c )  1  1  0  1  0  0  1  1  1  1  1  1  1  1  0  
7  ( p & d & c )  1  1  1  1  1  1  1  1  1  1  1  1  0  0  1  
q 
Given the following examplesasdefinitions, what does one make of the subsequent reasoning:
Then assign the variable "s" to the leftmost sentence "This sentence is simple". Define "compound" c = "not simple" ~s, and assign c = ~s to "This sentence is compound"; assign "j" to "It [this sentence] is conjoined by AND". The second sentence can be expressed as:
If truth values are to be placed on the sentences c = ~s and j, then all are clearly FALSEHOODS: e.g. "This sentence is complex" is a FALSEHOOD (it is simple, by definition). So their conjunction (AND) is a falsehood. But when taken in its assembled form, the sentence a TRUTH.
This is an example of the paradoxes that result from an impredicative definition—that is, when an object m has a property P, but the object m is defined in terms of property P.^{[22]} The best advice for a rhetorician or one involved in deductive analysis is avoid impredicative definitions but at the same time be on the lookout for them because they can indeed create paradoxes. Engineers, on the other hand, put them to work in the form of propositional formulas with feedback.
The notion of a propositional formula appearing as one of its own variables requires a formation rule that allows the assignment of the formula to a variable. In general there is no stipulation (either axiomatic or truthtable systems of objects and relations) that forbids this from happening.^{[23]}
The simplest case occurs when an OR formula becomes one its own inputs e.g. p = q. Begin with (p ∨ s) = q, then let p = q. Observe that q's "definition" depends on itself "q" as well as on "s" and the OR connective; this definition of q is thus impredicative. Either of two conditions can result:^{[24]} oscillation or memory.
It helps to think of the formula as a black box. Without knowledge of what is going on "inside" the formula"box" from the outside it would appear that the output is no longer a function of the inputs alone. That is, sometimes one looks at q and sees 0 and other times 1. To avoid this problem one has to know the state (condition) of the "hidden" variable p inside the box (i.e. the value of q fed back and assigned to p). When this is known the apparent inconsistency goes away.
To understand [predict] the behavior of formulas with feedback requires the more sophisticated analysis of sequential circuits. Propositional formulas with feedback lead, in their simplest form, to state machines; they also lead to memories in the form of Turing tapes and countermachine counters. From combinations of these elements one can build any sort of bounded computational model (e.g. Turing machines, counter machines, register machines, Macintosh computers, etc.).
In the abstract (ideal) case the simplest oscillating formula is a NOT fed back to itself: ~(~(p=q)) = q. Analysis of an abstract (ideal) propositional formula in a truthtable reveals an inconsistency for both p=1 and p=0 cases: When p=1, q=0, this cannot be because p=q; ditto for when p=0 and q=1.
q  

p  ~  (  p  )  = q  
0  1  0  1  q & p inconsistent  
1  0  1  0  q & p inconsistent 
Oscillation with delay: If a delay^{[25]} (ideal or nonideal) is inserted in the abstract formula between p and q then p will oscillate between 1 and 0: 101010...101... ad infinitum. If either of the delay and NOT are not abstract (i.e. not ideal), the type of analysis to be used will be dependent upon the exact nature of the objects that make up the oscillator; such things fall outside mathematics and into engineering.
Analysis requires a delay to be inserted and then the loop cut between the delay and the input "p". The delay must be viewed as a kind of proposition that has "qd" (qdelayed) as output for "q" as input. This new proposition adds another column to the truth table. The inconsistency is now between "qd" and "p" as shown in red; two stable states resulting:
q  

qd  p  (  ~  (  p  )  = q  
0  0  1  0  1  state 1  
0  1  0  1  0  qd & p inconsistent  
1  0  1  0  1  qd & p inconsistent  
1  1  0  1  0  state 0 
Without delay, inconsistencies must be eliminated from a truth table analysis. With the notion of "delay", this condition presents itself as a momentary inconsistency between the fedback output variable q and p = q_{delayed}.
A truth table reveals the rows where inconsistencies occur between p = q_{delayed} at the input and q at the output. After "breaking" the feedback,^{[26]} the truth table construction proceeds in the conventional manner. But afterwards, in every row the output q is compared to the nowindependent input p and any inconsistencies between p and q are noted (i.e. p=0 together with q=1, or p=1 and q=0); when the "line" is "remade" both are rendered impossible by the Law of contradiction ~(p & ~p)). Rows revealing inconsistencies are either considered transient states or just eliminated as inconsistent and hence "impossible".
About the simplest memory results when the output of an OR feeds back to one of its inputs, in this case output "q" feeds back into "p". Given that the formula is first evaluated (initialized) with p=0 & q=0, it will "flip" once when "set" by s=1. Thereafter, output "q" will sustain "q" in the "flipped" condition (state q=1). This behavior, now timedependent, is shown by the state diagram to the right of the onceflip.
q  

p  s  (  s  ∨  p  )  = q  
0  0  0  0  0  0  state 0, s=0  
0  1  1  1  0  q & p inconsistent  
1  0  0  1  1  1  state 1 with s = 0  
1  1  1  1  1  1  state 1 with s = 1 
The next simplest case is the "setreset" flipflop shown below the onceflip. Given that r=0 & s=0 and q=0 at the outset, it is "set" (s=1) in a manner similar to the onceflip. It however has a provision to "reset" q=0 when "r"=1. And additional complication occurs if both set=1 and reset=1. In this formula, the set=1 forces the output q=1 so when and if (s=0 & r=1) the flipflop will be reset. Or, if (s=1 & r=0) the flipflop will be set. In the abstract (ideal) instance in which s=1 ⇒ s=0 & r=1 ⇒ r=0 simultaneously, the formula q will be indeterminate (undecidable). Due to delays in "real" OR, AND and NOT the result will be unknown at the outset but thereafter predicable.
q  

p  s  r  (  s  ∨  (  p  &  ~  (  r  )  )  )  = q  
0  0  0  0  0  0  0  1  0  0  state 0 with ( s=0 & r=0 )  
0  0  1  0  0  0  0  0  1  0  state 0 with ( s=0 & r=1 )  
0  1  0  1  1  0  0  1  0  q & p inconsistent  
0  1  1  1  1  0  0  0  1  q & p inconsistent  
1  0  0  0  1  1  1  1  0  1  state 1 with ( s=0 & r=0 )  
1  0  1  0  0  1  0  0  1  q & p inconsistent  
1  1  0  1  1  1  1  1  0  1  state 1 with ( s=1 & r=0 )  
1  1  1  1  1  1  0  0  1  1  state 1 with s & r simultaneously 1 
The formula known as "clocked flipflop" memory ("c" is the "clock" and "d" is the "data") is given below. It works as follows: When c = 0 the data d (either 0 or 1) cannot "get through" to affect output q. When c = 1 the data d "gets through" and output q "follows" d's value. When c goes from 1 to 0 the last value of the data remains "trapped" at output "q". As long as c=0, d can change value without causing q to change.
The state diagram is similar in shape to the flipflop's state diagram, but with different labelling on the transitions.
s  q  w  v  r  u  

row  q  d  c  (  (  c  &  d  )  ∨  (  q  &  ~  (  (  c  &  ~  (  d  )  )  )  )  )  =q  Description 
0  0  0  0  0  0  0  0  0  0  1  0  0  1  0  0  state 0 with ( s=0 & r=0 ), 0 is trapped  
1  0  0  1  1  0  0  0  0  0  0  1  1  1  0  0  state 0 with ( d=0 & c=1 ): q=0 is following d=0  
2  0  1  0  0  0  1  0  0  0  1  0  0  0  1  0  state 0 with ( d=1 & r=0 ), 0 is trapped  
3  0  1  1  1  1  1  1  0  0  1  1  0  0  1  q & p inconsistent  
4  1  0  0  0  0  0  1  1  1  1  0  0  1  0  1  state 1 with (d =0 & c=0 ), 1 is trapped  
5  1  0  1  1  0  0  0  1  0  0  1  1  1  0  q & p inconsistent  
6  1  1  0  0  0  1  1  1  1  1  0  0  0  1  1  state 1 with (d =1 & c=0 ), 1 is trapped  
7  1  1  1  1  1  1  1  1  1  1  1  0  0  1  1  state 1 with ( d=1 & c=1 ): q=1 is following d=1 
Bertrand Russell (1912:74) lists three laws of thought that derive from Aristotle: (1) The law of identity: "Whatever is, is.", (2) The law of noncontradiction: "Nothing can both be and not be", and (3) The law of excluded middle: "Everything must be or not be."
The use of the word "everything" in the law of excluded middle renders Russell's expression of this law open to debate. If restricted to an expression about BEING or QUALITY with reference to a finite collection of objects (a finite "universe of discourse")  the members of which can be investigated one after another for the presence or absence of the assertion—then the law is considered intuitionistically appropriate. Thus an assertion such as: "This object must either BE or NOT BE (in the collection)", or "This object must either have this QUALITY or NOT have this QUALITY (relative to the objects in the collection)" is acceptable. See more at Venn diagram.
Although a propositional calculus originated with Aristotle, the notion of an algebra applied to propositions had to wait until the early 19th century. In an (adverse) reaction to the 2000 year tradition of Aristotle's syllogisms, John Locke's Essay concerning human understanding (1690) used the word semiotics (theory of the use of symbols). By 1826 Richard Whately had critically analyzed the syllogistic logic with a sympathy toward Locke's semiotics. George Bentham's work (1827) resulted in the notion of "quantification of the predicate" (1827) (nowadays symbolized as ∀ ≡ "for all"). A "row" instigated by William Hamilton over a priority dispute with Augustus De Morgan "inspired George Boole to write up his ideas on logic, and to publish them as MAL [Mathematical Analysis of Logic] in 1847" (GrattinGuinness and Bornet 1997:xxviii).
About his contribution GrattinGuinness and Bornet comment:
Gottlob Frege's massive undertaking (1879) resulted in a formal calculus of propositions, but his symbolism is so daunting that it had little influence excepting on one person: Bertrand Russell. First as the student of Alfred North Whitehead he studied Frege's work and suggested a (famous and notorious) emendation with respect to it (1904) around the problem of an antinomy that he discovered in Frege's treatment ( cf Russell's paradox ). Russell's work led to a collatoration with Whitehead that, in the year 1912, produced the first volume of Principia Mathematica (PM). It is here that what we consider "modern" propositional logic first appeared. In particular, PM introduces NOT and OR and the assertion symbol ⊦ as primitives. In terms of these notions they define IMPLICATION → ( def. *1.01: ~p ∨ q ), then AND (def. *3.01: ~(~p ∨ ~q) ), then EQUIVALENCE p ←→ q (*4.01: (p → q) & ( q → p ) ).
Computation and switching logic: