De Morgan law states " Negation of the conjunction of two statements is logiacally equivalent to the disjunction of their negation and Negation of the disjunction of two statements is logically equivalent to the conjucnction of their negation". i.e. ~(p^q) = ~p v ~q and ~(p v q)= ~p ^ ~q For example: " The bus was late and jim is waiting "(this is an example of conjuction of two statements) Now apply neaggation on this statement you will get through De Morgan's law " The bus was not late or jim is not waiting" (this is the disjunction of negation of two statements). Now see both statement are logically equivalent.Thats what De Morgan want to say
No comments:
Post a Comment