Discrete Mathematics Notes: BCA First Year (2025-26)
1. Define propositional logic
Propositions are declarative sentences with a definite truth value like True/False, or 1/0,
etc. For example: "The Earth revolves around the Sun" (True). “Oceans are red” (False).
The propositional logic connects propositions with logical connectives like AND, OR, NOT,
IF-THEN, etc. to form statements that are validated through Truth Tables.
2. What is a truth table. Give example.
Truth Tables are mathematical logic tables that map all possible truth value combinations
(i.e. TRUE/ FALSE) of propositions to the resulting truth value of the compound
p and q are TRUE, then p ∧ q is also TRUE. Alternatively, if either p or q are FALSE, then p
statement. Following is an example of Truth Table. It shows that if both the propositions
∧ q is also FALSE.
Solved Problems:
1. If A = {a.b} and B={c,d,e}, find A X B
A= a b
B=
c (a,c) (b,c)
d (a,d) (b,d)
e (a,e) (b,e)
A X B = { (a,c), (a,d),