- #1
poutsos.A
- 102
- 1
Hi ,my lecturer ask me to prove ~(p^q) = ~pv~q i.e ~(p^q) is equivalent to ~pv~q,without using the true tables.
thanks for your help
thanks for your help
De Morgan's law is a fundamental principle in Boolean algebra that states that the negation of a disjunction is equivalent to the conjunction of the negations of the individual terms.
The two forms of de Morgan's law are the AND form, which states that the negation of a conjunction is equivalent to the disjunction of the negations of the individual terms, and the OR form, which states that the negation of a disjunction is equivalent to the conjunction of the negations of the individual terms.
De Morgan's law is used to simplify logical expressions and to prove logical equivalences. It is also used in computer science to optimize digital circuits and in programming to manipulate Boolean expressions.
Sure, for example, the statement "It is not raining or it is not sunny" can be rewritten as "It is not raining and it is not sunny" using de Morgan's law. This shows that the two statements are logically equivalent.
De Morgan's law is a fundamental tool in mathematical logic and is used to transform complex logical statements into simpler forms. It is also important in set theory, where it is used to simplify set operations and prove set identities.