De Morgan Law

Previously, we get that p  ~(~p). Negation of the other rules we already know is p ^ ~ q ~ (p -> q), which is the negation of a conditional. Whether we can find a formula that is identical, ie, the negation, in another compound statement, ie, disjunction and conjunctions? The answer is yes, the logic put forward by the British mathematician Augustus de Morgan.

De Morgan's rules, so the formulas of negation and disjunction of conjunctions is called, is as follows.

• The negation of a conjunction is given by ~(p ^ q)  ~p v ~q
• The negation of a disjunction is given by ~(p v q)  ~p ^ ~q