TRUTH TABLE | ||||||
---|---|---|---|---|---|---|

Description | Symbol | True or False State | ||||

a statement | p | T | T | F | F | |

a statement | q | T | F | T | F | |

not pdenial | ~p | F | F | T | T | |

p and qconjunction | p · q | T | F | F | F | |

p or q (inclusive)inclusive disjunction | p v q | T | T | T | F | |

p or q (exclusive)exclusive disjunction | F | T | T | F | ||

if p then qconditional | p_{}q | T | F | T | T | |

p if and only if qbiconditional | p_{}q | T | F | F | T |