Main Index
Foundation of mathematics
Logic
Subject Index
comment on the page
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:
Štefan Porubský: Truth table.