A tautology is a statement form that is always true regardless of the truth values of the statement variables. i.e. If you want to prove that (p v q) is tautology ,you have to show that all values of statement (p v q) are true regardless of the values of p and q.If all the values of the satement (p v q) is not true then this statement is not tautology.
No comments:
Post a Comment