Switching algebra is also known as Boolean Algebra. It is used to analyze digital gates and circuits It is logic to perform mathematical operation on binary numbers ...

Share

A Boolean function is described by an algebraic expression consisting of binary variables, the constants 0 and 1, and the logic operation symbols
For a given set of ...

Share

Prerequisite : Introduction to Propositional Logic – Set 1
De Morgan’s Law :
In propositional logic and boolean algebra, De Morgan’s laws are a ...

Share

Prerequisite – Predicates and Quantifiers – Set 1, Set 2
Quantifiers are expressions that indicate the scope of the term to which they are attached, her...

Share

Introduction
Two logical expressions are said to be equivalent if they have the same truth value in all cases. Sometimes this fact helps in proving a mathematical res...

Share

What is Logic?
Logic is the basis of all mathematical reasoning, and of all automated reasoning. The rules of logic specify the meaning of mathematical statements. Th...

Share

Union
Union of the sets A and B, denoted by A ∪ B, is the set of distinct element belongs to set A or set B, or both.
Above is the Venn Diagram of A U B.
Exam...

Share

Prerequisite : Predicates and Quantifiers Set 1, Propositional Equivalences
Logical Equivalences involving Quantifiers
Two logical statements involving predicates and...

Share

Prerequisite : Introduction to Propositional Logic
Introduction
Consider the following example. We need to convert the following sentence into a mathematical statemen...

Share

A Set is an unordered collection of objects, known as elements or members of the set.
An element ‘a’ belong to a set A can be written as ‘a "...

Share