De Morgan's Law | Class 8th | Maths | STBB | Unit 1| Ex: 1.2 | Q-3 | @DeenaVersity

De Morgan's laws are a pair of transformation rules that are both valid rules of inference in propositional logic and Boolean algebra. They express the relationship between the logical operators negation , conjunction , and disjunction. *De Morgan's first law states:* The negation of the disjunction of two propositions is equivalent to the conjunction of their negations. In other words, the complement of the union of two sets is equal to the intersection of their complements. *De Morgan's second law states:* The negation of the conjunction of two propositions is equivalent to the disjunction of their negations. In other words, the complement of the intersection of two sets is equal to the union of their complements. De Morgan's laws can be used to simplify logical expressions and to make them easier to understand. They are also used in computer science to design digital circuits. Here are some examples of De Morgan's laws in action: *Example 1:* The negation of the statement "It is raining or it is snowing" is equivalent to the statement "It is not raining and it is not snowing." *Example 2:* The negation of the statement "All dogs are mammals" is equivalent to the statement "Some dogs are not mammals." De Morgan's laws are a fundamental part of logic and mathematics, and they have many applications in the real world. #class8th #maths #stbb #morganslaw #demorganslaw #booleanalgebra #logic #not #and #or #negation #conjunction #disjunction #propositions #formallogic #digitalcircuits #laws #mathematics #computer #science #expression #optimization #simplification #analysis #conditions #theorem #algebraic #mathematical #transformations #theoretical #logical #equivalence #circuitdesign #electronics #computerscience #fundamental #principles #operations #relationships #optimizing #simplify #analyze #complex #statements #lawsinmathematics #mathematicallaws #booleanlaws #propositionallogic #electronicsengineering #computerengineering #logicdesign #mathconcept #theory #abstractmath #booleanoperators #computerlogic #logicexpressions #algebraicsimplification #logicaltheory #mathematics #unit1 #operationsonsets #exercise1.2 #question3 #question #ques #sindhtextbookboard #mathematics #mathconcepts #setrelationships #symbolicnotation #mathexamples #mathexplained #mathbasics #mathematicstutorial #mathematicseducation #learningmath #mathematicalconcepts #understandingsets #mathhelp #youtubemath #mathvideos #formula #SindhTextBookBoard @DeenaVersity