# Logic

Expression | Meaning |
---|---|

p ⋀ q | p AND q |

p ⋁ q | p OR q |

p ⨁ q | p XOR q |

p → q | if p then q |

p ↔ q | p if and only if q, p if q |

#### Truth Table

p | q | p ⋀ q | p ⋁ q | p ⨁ q | p → q | p ↔ q |
---|---|---|---|---|---|---|

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

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

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

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

Expression | Meaning |
---|---|

p ⋀ q | p AND q |

p ⋁ q | p OR q |

p ⨁ q | p XOR q |

p → q | if p then q |

p ↔ q | p if and only if q, p if q |

p | q | p ⋀ q | p ⋁ q | p ⨁ q | p → q | p ↔ q |
---|---|---|---|---|---|---|

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

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

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

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