Main Index Foundation of mathematics Logic
  Subject Index
comment on the page

Truth table

Truth tables are used to compute the values of compound or simple propositional expressions on each logical value of their functional arguments. It has a form of a tabular listing of all possible input value combinations of components propositions for a logical compound proposition and their corresponding output values.

Since each variable can take only two values, for input variables, rows in the truth table are needed. To compute truth tables of expressions, one often proceeds in steps which are usually represented by columns.

For instance Law of syllogism says: . The corresponding truth table is

To generate truth table of basic logical connectives visit .

Cite this web-page as: