Logical Equivalency

Definition:
If two logical expressions have the same logical values in the truth table, then these two expressions are logically equivalent.
For example, ~(~p) ≡ p and the Truth table is as under:

Truth Table for ~(~p)
p ~q~(~p)
T F T
F T F

Practice Exercise and Solution

Exercise 2:
Show (prove) that ~(p ∧ q) and ~p ∧ ~q are not logically equivalent
Solution:
Logical Equivalency Solution



Exercise 3:
Find the truth table for the below:
  1. ~p ∧ q
  2. ~p ∧ (q ∨ ~r)
  3. (p∨q) ∧ ~(p∧q)


Solutions:
Logical Equivalency Solution

Logical Equivalency Solution

Logical Equivalency Solution

Tautology

A tautology is a statement form that is always true regardless of the truth values of the statement variables. A tautology is represented by the symbol "t". Example: The statement q ∨ ~q is a tautology and q ∨ ~q ≡ t. The truth table of this statement is as follows:

Truth Table for q ∨ ~q
q ~qq ∨ ~q
T F T
F T T

Contradiction

A contradiction is a statement form that is always false regardless of the truth values of the statement variables. A contradiction is represented by the symbol "c".

So if we have to prove that a given statement form is contradiction, we need to show the truth table for the statement form and if in the column of the given statement form all the entries are F, then we say that statement form is contradiction.
Let us see the following example: The statement form q ∧ ~ q is a contradiction.

Truth Table for q ∧ ~ q
q ~qq ∧ ~ q
T F F
F T F
Based on the last column, all the entries are F, hence it is a contradiction and it is noted as q ∧ ~ q ≡ c

Remarks

For more details, please contact me here.
Date of last modification: February 27, 2019