Logical Connectives: and, or, not

NoConnectivesMeaningSymbolCalledC++ Operators
1Nagationnot˜Tilde!
2Congunctionand˄Hat&&
3Disjunctionor˅Vel||
4Conditionalif - thenArrowif else
5Biconditionalif and only ifDouble 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
TF
FT

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.

pqp^q
TTT
FFF
TFF
FTF

Leave a Reply

Your email address will not be published. Required fields are marked *

000webhost logo