## Logical Connectives: and, or, not

No | Connectives | Meaning | Symbol | Called | C++ Operators |
---|---|---|---|---|---|

1 | Nagation | not | ˜ | Tilde | ! |

2 | Congunction | and | ˄ | Hat | && |

3 | Disjunction | or | ˅ | Vel | || |

4 | Conditional | if - then | → | Arrow | if else |

5 | Biconditional | if and only if | ↔ | Double Arrow |

## Truth Table

A truth table contain the truth value T and F.

## Negation (~)

if (p) is a statement then its nagation is (~p), if (p) is false its truth value become (~p) is true.

P | ~p |
---|---|

T | F |

F | T |

## Conjunction (^)

If (p) and (q) are statement then the conjunction is (p^q) and it is true when both (p) and (q) are true.

If either (p) or (q) are false and if both are false the result of (p^q) is false.

p | q | p^q |
---|---|---|

T | T | T |

F | F | F |

T | F | F |

F | T | F |

## Leave a Reply