## You are here

Hometruth table

## Primary tabs

# truth table

A *truth table* is a tabular listing of all possible input value combinations for a logical function and their corresponding output values. Similarly, the truth table of a logical proposition is the truth table of the corresponding logical function.

For instance, the truth table of the connective “or” is as follows:

$a$ | $b$ | $a\lor b$ |
---|---|---|

F | F | F |

F | T | T |

T | F | T |

T | T | T |

For $n$ input variables, there will always be $2^{n}$ rows in the truth table. A sample truth table for “$(a\land b)\rightarrow c$” would be

$a$ | $b$ | $c$ | $(a\land b)\rightarrow c$ |
---|---|---|---|

F | F | F | T |

F | F | T | F |

F | T | F | T |

F | T | T | F |

T | F | F | T |

T | F | T | F |

T | T | F | T |

T | T | T | T |

(Note that $\land$ represents logical and, while $\rightarrow$ represents the conditional truth function).

To compute truth tables of expressions, one often proceeds in steps. for instance, to compute a truth table for “$\neg p\lor(p\land q)$, one might proceed as follows:

$p$ | $q$ | $\neg p$ | $(p\land q)$ | $\neg p\lor(p\land q)$ |
---|---|---|---|---|

F | F | T | F | T |

F | T | T | F | T |

T | F | F | F | F |

T | T | F | T | T |

For reference, here is a truth table of some popular connectives:

$p$ | $q$ | $p\lor q$ | $p\land q$ | $p\veebar q$ | $p\rightarrow q$ | $p\leftrightarrow q$ |
---|---|---|---|---|---|---|

F | F | F | F | F | T | T |

F | T | T | F | T | T | F |

T | F | T | F | T | F | F |

T | T | T | T | F | T | T |

For completeness, here are the remaining connectives, excluding trivial connectives which depend on only one or none of their arguments:

$p$ | $q$ | $p\not\!\!\land q$ | $p\not\!\lor q$ | $p\leftarrow q$ | $p\not\rightarrow q$ | $p\not\!\leftarrow q$ | ||
---|---|---|---|---|---|---|---|---|

F | F | T | T | T | F | F | ||

F | T | T | F | F | F | T | ||

T | F | T | F | T | T | F | ||

T | T | F | F | T | F | F |

## Mathematics Subject Classification

03-00*no label found*34C29

*no label found*

- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)

- Other useful stuff

## Recent Activity

new question: Prove that for any sets A, B, and C, An(BUC)=(AnB)U(AnC) by St_Louis

Apr 20

new image: information-theoretic-distributed-measurement-dds.png by rspuzio

new image: information-theoretic-distributed-measurement-4.2 by rspuzio

new image: information-theoretic-distributed-measurement-4.1 by rspuzio

new image: information-theoretic-distributed-measurement-3.2 by rspuzio

new image: information-theoretic-distributed-measurement-3.1 by rspuzio

new image: information-theoretic-distributed-measurement-2.1 by rspuzio

Apr 19

new collection: On the Information-Theoretic Structure of Distributed Measurements by rspuzio

Apr 15

new question: Prove a formula is part of the Gentzen System by LadyAnne

Mar 30

new question: A problem about Euler's totient function by mbhatia