Solved Propositional logic examples

Example 1
Make the truth table for this expression [(A→B)˄A]→B

The truth table is as follows −

A B A→ B (A → B) ˄ A [( A → B ) ˄ A] → B

True True True True True

True False False False True

False True True False True

False False True False True

Example 2
Make the truth table for this expression (A∨B)˄[(¬A)˄(¬B)]

The truth table is as follows −

A B A∨B ¬A ¬B (¬ A) ˄ ( ¬ B) (A ∨ B) ˄[( ¬ A) ˄ (¬ B)]

True True True False False False False

True False True False True False False

False True True True False False False

False False False True True True False

Example 3
Make the truth table for this expression (A∨B)˄(¬A)
The truth table is as follows –

A B (A ∨ B) ¬A (A ∨ B) ˄(¬ A)

True True True False False

True False True False False

False True True True True

False False False True False

Example 4
Prove ¬(A∨B) and [(¬A)˄(¬B)] are equivalent (statements have same values) Testing (Matching truth
table)

A B A∨B ¬ (A ∨ B) ¬A ¬B [(¬ A) ˄ (¬ B)]

True True True False False False False

True False True False False True False

False True True False True False False

False False False True True True True

Here, we can see the truth values of ¬(A∨B) and [(¬A)˄(¬B)] are same, hence the statements are
equivalent.