**A truth table is used to find the relation with Boolean Algebra, Boolean function and propositional Calculus.**There are some types of logic operation which are given below.

1.

**AND operator**- It is also known as conjunction operator.

The ‘AND’ operator is denoted by the symbol ‘∧’.

2.

**OR operator**– It is also known as disjunction operator.

The ‘OR’ operator is denoted by the symbol ‘v’.

3.

**Negation of OR operation**– It is also known as NOT operator.

The ‘Negation of OR operator’ is denoted by the symbol ‘~’.

Now we will see the truth table of all the operators:

Truth table for AND operator is:

A | B | A ^ B |

T | T | T |

T | F | F |

F | T | F |

F | F | F |

Truth table for OR operator is:

A | B | A v B |

T | T | T |

T | F | T |

F | T | T |

F | F | F |

Here also we apply same procedure as above.

Now we will see the truth table for negation operator:

A | ~ A |

T | F |

F | T |

Now we will see 4 variable truth table:

For example: Suppose we have an expression (P v Q) v (R v S)

P |
Q |
R |
S |
(P v Q) v (R v S) |

T | T | T | T | T |

T | T | T | F | T |

T | T | F | T | T |

T | T | F | F | T |

T | F | T | T | T |

T | F | T | F | T |

T | F | F | T | T |

T | F | F | F | T |

F | T | T | T | T |

F | T | T | F | T |

F | T | F | T | T |

F | T | F | F | T |

F | F | T | T | T |

F | F | T | F | T |

F | F | F | T | T |

F | F | F | F | F |