{"id":4461,"date":"2025-03-10T10:54:04","date_gmt":"2025-03-10T05:24:04","guid":{"rendered":"https:\/\/study.madeeasy.in\/?p=4461"},"modified":"2025-07-16T14:18:42","modified_gmt":"2025-07-16T08:48:42","slug":"boolean-algebraic-theorem","status":"publish","type":"post","link":"https:\/\/www.madeeasy.in\/study\/ee\/boolean-algebra\/boolean-algebraic-theorem","title":{"rendered":"Boolean Algebraic Theorem in Digital Electronics"},"content":{"rendered":"<h2 style=\"text-align: justify;\">De Morgan\u2019s Theorem<\/h2>\n<ul style=\"text-align: justify;\">\n<li>These are very useful in simplifying expressions in which a product or sum of variables is inverted.<\/li>\n<li>De Morgan\u2019s theorem represents two of the most important rules of Boolean algebra.<\/li>\n<\/ul>\n<p style=\"text-align: justify;\"><img loading=\"lazy\" decoding=\"async\" class=\"aligncenter wp-image-4462 size-full\" src=\"https:\/\/study.madeeasy.in\/wp-content\/uploads\/2025\/03\/morgan.jpg\" alt=\"Morgan\" width=\"578\" height=\"214\" srcset=\"https:\/\/www.madeeasy.in\/study\/wp-content\/uploads\/2025\/03\/morgan.jpg 578w, https:\/\/www.madeeasy.in\/study\/wp-content\/uploads\/2025\/03\/morgan-300x111.jpg 300w\" sizes=\"auto, (max-width: 578px) 100vw, 578px\" \/><\/p>\n<h2 style=\"text-align: justify;\">Transposition Theorem<\/h2>\n<p style=\"text-align: justify;\"><img loading=\"lazy\" decoding=\"async\" class=\"aligncenter wp-image-4463 size-full\" src=\"https:\/\/study.madeeasy.in\/wp-content\/uploads\/2025\/03\/transposition-theorem.jpg\" alt=\" Transposition Theorem\" width=\"378\" height=\"168\" srcset=\"https:\/\/www.madeeasy.in\/study\/wp-content\/uploads\/2025\/03\/transposition-theorem.jpg 378w, https:\/\/www.madeeasy.in\/study\/wp-content\/uploads\/2025\/03\/transposition-theorem-300x133.jpg 300w\" sizes=\"auto, (max-width: 378px) 100vw, 378px\" \/><\/p>\n<h3 style=\"text-align: justify;\">Consensus Theorem\/Redundancy Theorem<\/h3>\n<ul style=\"text-align: justify;\">\n<li>This theorem is used to eliminate redundant term.<\/li>\n<li>A variable is associated with some variable and its compliment is associated with some other variable and the next term is formed by the left over variables, then the term becomes redundant.<\/li>\n<li>It is applicable only if a Boolean function,<br \/>\n(i) Contains 3-variables.<br \/>\n(ii) Each variable used two times.<br \/>\n(iii) Only one variable is in complemented or uncomplemented form.<br \/>\nThen, the related terms to that complemented and uncomplemented variable is the answer.<\/li>\n<li>Consensus theorem can be extended to any number of variables.<\/li>\n<\/ul>\n<p style=\"text-align: justify;\"><img loading=\"lazy\" decoding=\"async\" class=\"aligncenter wp-image-4464 size-full\" src=\"https:\/\/study.madeeasy.in\/wp-content\/uploads\/2025\/03\/boolean-function.jpg\" alt=\" Boolean function\" width=\"285\" height=\"48\" \/><\/p>\n<h3 style=\"text-align: justify;\">Duality Theorem<\/h3>\n<ul style=\"text-align: justify;\">\n<li>It is one of the elegant theorems proved in advance mathematics.<\/li>\n<li>\u201cDual expression\u201d is equivalent to write a negative logic of the given Boolean relation. For this we,<br \/>\n(i) Change each OR sign by an AND sign and vice-versa.<br \/>\n(ii) Compliment any \u20180\u2019 or \u20181\u2019 appearing in expression.<br \/>\n(iii) Keep literals as it is.<\/li>\n<\/ul>\n<h3 style=\"text-align: justify;\">Complementary Theorem<\/h3>\n<ul>\n<li style=\"text-align: justify;\">For obtaining complement expression we<br \/>\n(i) Change each OR sign by AND sign and vice-versa.<br \/>\n(ii) Complement any \u20180\u2019 or \u20181\u2019 appearing in expression.<br \/>\n(iii) Complement the individual literals.<\/li>\n<\/ul>\n<p style=\"text-align: center;\"><a class=\"btn btn-danger\" role=\"button\" href=\"https:\/\/study.madeeasy.in\/ee\/boolean-algebra\/laws-of-boolean-algebra\/\" target=\"_blank\" rel=\"noopener\">&lt;&lt; Previous<\/a> | <a class=\"btn btn-success\" role=\"button\" href=\"https:\/\/study.madeeasy.in\/ee\/boolean-algebra\/karnaugh-map\/\" target=\"_blank\" rel=\"noopener\"> Next &gt;&gt;<\/a><br \/>\n<strong> Must Read: <\/strong> <a href=\"https:\/\/study.madeeasy.in\/subjects\/what-is-boolean-algebra\" target=\"_blank\" rel=\"noopener\"><strong>What is Boolean algebra?<\/strong><\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>De Morgan\u2019s Theorem These are very useful in simplifying expressions in which a product or sum of variables is inverted.<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1291,5],"tags":[1428,1302,1435,1431,1434,1303,1432,1436,1304,1433],"class_list":["post-4461","post","type-post","status-publish","format-standard","hentry","category-boolean-algebra","category-ee","tag-boolean-expressions","tag-boolean-function","tag-boolean-rules","tag-boolean-theorems","tag-circuit-design","tag-complementary-theorem","tag-digital-electronics","tag-digital-logic","tag-duality-theorem","tag-logic-simplification"],"_links":{"self":[{"href":"https:\/\/www.madeeasy.in\/study\/wp-json\/wp\/v2\/posts\/4461","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.madeeasy.in\/study\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.madeeasy.in\/study\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.madeeasy.in\/study\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.madeeasy.in\/study\/wp-json\/wp\/v2\/comments?post=4461"}],"version-history":[{"count":0,"href":"https:\/\/www.madeeasy.in\/study\/wp-json\/wp\/v2\/posts\/4461\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.madeeasy.in\/study\/wp-json\/wp\/v2\/media?parent=4461"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.madeeasy.in\/study\/wp-json\/wp\/v2\/categories?post=4461"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.madeeasy.in\/study\/wp-json\/wp\/v2\/tags?post=4461"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}