{"id":27487,"date":"2021-02-14T13:00:28","date_gmt":"2021-02-14T13:00:28","guid":{"rendered":"http:\/\/toposuranos.com\/material\/?p=27487"},"modified":"2024-07-18T20:54:07","modified_gmt":"2024-07-18T20:54:07","slug":"demorgans-laws-of-distribution-and-their-proofs","status":"publish","type":"post","link":"http:\/\/toposuranos.com\/material\/en\/demorgans-laws-of-distribution-and-their-proofs\/","title":{"rendered":"DeMorgan&#8217;s laws of Distribution and Their Proofs"},"content":{"rendered":"<div style=\"background-color:#F3F3F3; padding:20px;\">\n<center><\/p>\n<h1>Laws of DeMorgan, Distribution, and Their Proofs<\/h1>\n<p><\/p>\n<p style=\"text-align:center;\"><strong>SUMMARY<\/strong><br \/><em>In this class, we review the proofs of DeMorgan&#8217;s laws of Distribution for conjunction and disjunction, which are frequently used in propositional logic and areas such as set theory, probability, topology, electronics, and programming. The equivalences that formalize the distribution of negations with conjunction and disjunction are presented, as well as the rules of distributivity between conjunction and disjunction. The deduction techniques used to obtain these proofs are explained, and students are encouraged to complete the proposed proofs to reinforce their knowledge. The exercise of asking oneself, \u00abCan I construct these proofs in a different order following this same methodology?\u00bb is also suggested to improve skills in logic.<\/em><\/p>\n<p><\/center><br \/>\n<\/p>\n<p style=\"text-align:center;\"><strong>LEARNING OBJECTIVES:<\/strong><br \/>\nAt the end of this class, the student will be able to\n<\/p>\n<ol>\n<li><strong>Prove<\/strong> DeMorgan&#8217;s laws and the rules of distributivity between conjunction and disjunction.<\/li>\n<li><strong>Apply<\/strong> the learned deduction techniques to the proof of DeMorgan&#8217;s laws and distributivity.<\/li>\n<li><strong>Compare<\/strong> the proofs of DeMorgan&#8217;s laws and distributivity to find similarities and differences.<\/li>\n<li><strong>Analyze<\/strong> the proofs of DeMorgan&#8217;s laws and distributivity to improve understanding of propositional logic.<\/li>\n<\/ol>\n<p style=\"text-align:center;\"><strong>INDEX<\/strong><br \/>\n<a href=\"#1\">DEMORGAN&#8217;S LAWS<\/a><br \/>\n<a href=\"#2\">DISTRIBUTIVITY RULES BETWEEN CONJUNCTION AND DISJUNCTION<\/a><br \/>\n<a href=\"#3\">FINAL CONSIDERATIONS<\/a><\/p>\n<p><center><iframe class=\"lazyload\" width=\"560\" height=\"315\" data-src=\"https:\/\/www.youtube.com\/embed\/ntfTrdqIipo\" frameborder=\"0\" allow=\"accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture\" allowfullscreen=\"allowfullscreen\"><\/iframe><\/center>\n<\/div>\n<p style=\"text-align: justify; color: #000000;\">Now it&#8217;s time to review another frequently used property in propositional logic, namely the proofs of DeMorgan&#8217;s laws of Distribution for conjunction and disjunction. The use of these laws is common in set theory and, by extension, permeates all of mathematics: from probability theory, topology, and even has a presence in electronics and programming. As usual, we will break down the proofs of these laws using the deduction techniques we have obtained so far.<\/p>\n<p><a name=\"1\"><\/a><br \/>\n<\/br><\/br><\/p>\n<h2>DeMorgan&#8217;s Laws<\/h2>\n<p style=\"text-align: justify; color: #000000;\"><a href=\"https:\/\/www.youtube.com\/watch?v=ntfTrdqIipo&amp;t=709s\" target=\"_blank\" rel=\"noopener\"><strong><span style=\"color: #ff0000;\">DeMorgan&#8217;s laws<\/span><\/strong><\/a> are a set of equivalences that formalize the distribution of negations with conjunction and disjunction. Formally, they are expressed through the equivalences:<\/p>\n<p style=\"text-align: center; color: #880000;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\neg(\\alpha \\wedge \\beta) \\dashv \\vdash (\\neg\\alpha \\vee \\neg \\beta)<\/span><\/span><\/p>\n<p style=\"text-align: center; color: #880000;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\neg(\\alpha \\vee \\beta) \\dashv \\vdash (\\neg\\alpha \\wedge \\neg \\beta)<\/span><\/span><\/p>\n<p style=\"text-align: justify; color: #000000;\">These proven equivalences can be obtained without the need to make a proof like we have done so far, since we can rely on the definitions that relate conjunctions with disjunctions and a bit of play with the double negation equivalence and substitutions. From the definition of conjunction, it follows that:<\/p>\n<p style=\"text-align: center; color: #000000;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">(A \\wedge B):= \\neg(\\neg A \\vee \\neg B)<\/span><\/span><\/p>\n<p style=\"text-align: justify; color: #000000;\">Applying a negation to both sides of this expression, we have<\/p>\n<p style=\"text-align: center; color: #000000;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\neg(A \\wedge B):= \\neg\\neg(\\neg A \\vee \\neg B)<\/span><\/span><\/p>\n<p style=\"text-align: justify; color: #000000;\">Then, by the double negation equivalence, we get<\/p>\n<p style=\"text-align: center; color: #000000;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\neg(A \\wedge B)\\dashv \\vdash (\\neg A \\vee \\neg B)<\/span><\/span><\/p>\n<p style=\"text-align: justify; color: #000000;\">Finally, replacing <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">A=\\alpha<\/span><\/span> and <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">B=\\beta<\/span><\/span>, we obtain DeMorgan&#8217;s first equivalence<\/p>\n<p style=\"text-align: center; color: #000000;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\boxed{\\neg(\\alpha \\wedge \\beta) \\dashv \\vdash (\\neg\\alpha \\vee \\neg \\beta)}<\/span><\/span><\/p>\n<p style=\"text-align: justify; color: #000000;\">To obtain the second, we can continue playing with the expression we had before making the replacement by adding a negation to both sides again, obtaining<\/p>\n<p style=\"text-align: center; color: #000000;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\neg\\neg(A \\wedge B)\\dashv \\vdash \\neg(\\neg A \\vee \\neg B)<\/span><\/span><\/p>\n<p style=\"text-align: justify; color: #000000;\">And then, by double negation, we get<\/p>\n<p style=\"text-align: center; color: #000000;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\neg(\\neg A \\vee \\neg B) \\dashv \\vdash (A \\wedge B)<\/span><\/span><\/p>\n<p style=\"text-align: justify; color: #000000;\">If in this last expression we replace <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">A=\\neg\\alpha<\/span><\/span> and <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">B=\\neg\\beta<\/span><\/span>, we will get<\/p>\n<p style=\"text-align: center; color: #000000;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\neg(\\neg \\neg\\alpha \\vee \\neg \\neg\\beta) \\dashv \\vdash (\\neg\\alpha \\wedge \\neg\\beta)<\/span><\/span><\/p>\n<p style=\"text-align: justify; color: #000000;\">Which, due to the double negation equivalence, will lead to DeMorgan&#8217;s second equivalence<\/p>\n<p style=\"text-align: center; color: #000000;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\boxed{\\neg( \\alpha \\vee \\beta) \\dashv \\vdash (\\neg\\alpha \\wedge \\neg\\beta)}<\/span><\/span><\/p>\n<p style=\"text-align: justify; color: #000000;\">In addition, in a completely analogous way, we can obtain some additional forms, which are just variations of the ones we just reviewed<\/p>\n<p style=\"text-align: center; color: #880000;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\neg(\\neg\\alpha \\wedge \\beta) \\dashv \\vdash (\\alpha \\vee \\neg \\beta)<\/span><\/span><\/p>\n<p style=\"text-align: center; color: #880000;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\neg(\\neg\\alpha \\vee \\beta) \\dashv \\vdash (\\alpha \\wedge \\neg \\beta)<\/span><\/span><\/p>\n<p style=\"text-align: center; color: #880000;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\neg(\\alpha \\wedge \\neg\\beta) \\dashv \\vdash (\\neg\\alpha \\vee \\beta)<\/span><\/span><\/p>\n<p style=\"text-align: center; color: #880000;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\neg(\\alpha \\vee \\neg\\beta) \\dashv \\vdash (\\neg\\alpha \\wedge \\beta)<\/span><\/span><\/p>\n<p><a name=\"2\"><\/a><br \/>\n<\/br><\/br><\/p>\n<h2>Distributivity Rules Between Conjunction and Disjunction<\/h2>\n<p style=\"text-align: justify; color: #000000;\"><a href=\"https:\/\/www.youtube.com\/watch?v=ntfTrdqIipo&amp;t=709s\" target=\"_blank\" rel=\"noopener\"><strong><span style=\"color: #ff0000;\">As the name suggests<\/span><\/strong><\/a>, these rules allow us to distribute the sets and disjunctions within an expression. These laws are summarized in the following two equivalences:<\/p>\n<table style=\"text-align: left; color: #000000;\">\n<tbody>\n<tr>\n<td>\u2227 &#8211; Distributivity<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">(\\alpha \\wedge(\\beta \\vee \\gamma)) \\dashv \\vdash ((\\alpha \\wedge \\beta)\\vee(\\alpha \\wedge \\gamma)) <\/span><\/span><\/td>\n<\/tr>\n<tr>\n<td>\u2228 &#8211; Distributivity<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">(\\alpha \\vee(\\beta \\wedge \\gamma)) \\dashv \\vdash ((\\alpha \\vee \\beta)\\wedge(\\alpha \\vee \\gamma)) <\/span><\/span><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p style=\"text-align: justify; color: #000000;\">As we have seen so far, although this is a known result, its proof is not trivial at all. Although, to complete this proof, it must be reasoned in both directions, this time I will only give the proof in one direction; the proof in the reverse direction will be left as an exercise for the reader.<\/p>\n<h3>\u2227 &#8211; Distributivity<\/h3>\n<p style=\"text-align: justify; color: #000000;\"><a href=\"https:\/\/www.youtube.com\/watch?v=ntfTrdqIipo&amp;t=831s\" target=\"_blank\" rel=\"noopener\"><strong><span style=\"color: #ff0000;\">To prove that<\/span><\/strong><\/a> <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{(\\alpha \\wedge(\\beta \\vee\\gamma))\\}\\vdash((\\alpha \\wedge \\beta)\\vee(\\alpha \\wedge \\gamma))<\/span><\/span> occurs, we have the following reasoning.<\/p>\n<table style=\"text-align: left; color: #000000;\">\n<tbody>\n<tr>\n<td>(1)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{(\\alpha \\wedge(\\beta \\vee\\gamma)), \\beta \\}\\vdash (\\alpha \\wedge(\\beta \\vee\\gamma)) <\/span><\/span><\/td>\n<td>; Pre<\/td>\n<\/tr>\n<tr>\n<td>(2)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{(\\alpha \\wedge(\\beta \\vee\\gamma)), \\beta \\}\\vdash \\alpha <\/span><\/span><\/td>\n<td>; \u2227-elimination(1)<\/td>\n<\/tr>\n<tr>\n<td>(3)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{(\\alpha \\wedge(\\beta \\vee\\gamma)), \\beta \\}\\vdash \\beta <\/span><\/span><\/td>\n<td>; Pre<\/td>\n<\/tr>\n<tr>\n<td>(4)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{(\\alpha \\wedge(\\beta \\vee\\gamma)), \\beta \\}\\vdash (\\alpha\\wedge \\beta) <\/span><\/span><\/td>\n<td>; \u2227-Introduction(2,3)<\/td>\n<\/tr>\n<tr>\n<td>(5)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{(\\alpha \\wedge(\\beta \\vee\\gamma)), \\beta \\}\\vdash ((\\alpha\\wedge \\beta)\\vee(\\alpha \\wedge \\gamma) )<\/span><\/span><\/td>\n<td>; \u2228-Introduction(4)<\/td>\n<\/tr>\n<tr>\n<td>(6)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{(\\alpha \\wedge(\\beta \\vee\\gamma)), \\neg\\beta \\}\\vdash (\\alpha \\wedge(\\beta \\vee\\gamma)) <\/span><\/span><\/td>\n<td>; Pre<\/td>\n<\/tr>\n<tr>\n<td>(7)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{(\\alpha \\wedge(\\beta \\vee\\gamma)), \\neg\\beta \\}\\vdash (\\beta \\vee\\gamma) <\/span><\/span><\/td>\n<td>; \u2227-Elimination(6)<\/td>\n<\/tr>\n<tr>\n<td>(8)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{(\\alpha \\wedge(\\beta \\vee\\gamma)), \\neg\\beta \\}\\vdash\\neg\\beta <\/span><\/span><\/td>\n<td>; Pre<\/td>\n<\/tr>\n<tr>\n<td>(9)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{(\\alpha \\wedge(\\beta \\vee\\gamma)), \\neg\\beta \\}\\vdash\\gamma <\/span><\/span><\/td>\n<td>; \u2228-Elimination(7,8)<\/td>\n<\/tr>\n<tr>\n<td>(10)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{(\\alpha \\wedge(\\beta \\vee\\gamma)), \\neg\\beta \\}\\vdash\\alpha <\/span><\/span><\/td>\n<td>; \u2227-Elimination(6)<\/td>\n<\/tr>\n<tr>\n<td>(11)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{(\\alpha \\wedge(\\beta \\vee\\gamma)), \\neg\\beta \\}\\vdash (\\alpha\\wedge\\gamma) <\/span><\/span><\/td>\n<td>; \u2227-Introduction(9,10)<\/td>\n<\/tr>\n<tr>\n<td>(12)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{(\\alpha \\wedge(\\beta \\vee\\gamma)), \\neg\\beta \\}\\vdash ((\\alpha\\wedge\\beta)\\vee(\\alpha\\wedge\\gamma)) <\/span><\/span><\/td>\n<td>; \u2228-Introduction(11)<\/td>\n<\/tr>\n<tr>\n<td>(13)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\boxed{\\{(\\alpha \\wedge(\\beta \\vee\\gamma))\\}\\vdash ((\\alpha\\wedge\\beta)\\vee(\\alpha\\wedge\\gamma))} <\/span><\/span><\/td>\n<td>; Cases(5,12)<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p style=\"text-align: justify; color: #000000;\">With this, it is proven that <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{(\\alpha \\wedge(\\beta \\vee\\gamma))\\}\\vdash((\\alpha \\wedge \\beta)\\vee(\\alpha \\wedge \\gamma))<\/span><\/span>. Now it&#8217;s your turn to test what you&#8217;ve learned and venture to prove on your own that <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{((\\alpha \\wedge \\beta)\\vee(\\alpha \\wedge \\gamma))\\}\\vdash (\\alpha \\wedge(\\beta \\vee\\gamma))<\/span><\/span>.<\/p>\n<h3>\u2228 &#8211; Distributivity<\/h3>\n<p style=\"text-align: justify; color: #000000;\"><a href=\"https:\/\/www.youtube.com\/watch?v=ntfTrdqIipo&amp;t=1449s\" target=\"_blank\" rel=\"noopener\"><strong><span style=\"color: #ff0000;\">The proof of<\/span><\/strong><\/a> <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{(\\alpha \\vee(\\beta \\wedge\\gamma))\\}\\vdash((\\alpha \\vee \\beta)\\wedge(\\alpha \\vee \\gamma))<\/span><\/span> is obtained from the following reasoning:<\/p>\n<table style=\"text-align: left; color: #000000;\">\n<tbody>\n<tr>\n<td>(1)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{(\\alpha \\vee(\\beta \\wedge\\gamma)), \\neg\\alpha\\}\\vdash (\\alpha \\vee(\\beta \\wedge\\gamma))<\/span><\/span><\/td>\n<td>; Pre<\/td>\n<\/tr>\n<tr>\n<td>(2)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{(\\alpha \\vee(\\beta \\wedge\\gamma)), \\neg\\alpha\\}\\vdash \\neg\\alpha<\/span><\/span><\/td>\n<td>; Pre<\/td>\n<\/tr>\n<tr>\n<td>(3)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{(\\alpha \\vee(\\beta \\wedge\\gamma)), \\neg\\alpha\\}\\vdash (\\beta \\wedge\\gamma)<\/span><\/span><\/td>\n<td>; \u2228-Elimination(1,2)<\/td>\n<\/tr>\n<tr>\n<td>(4)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{(\\alpha \\vee(\\beta \\wedge\\gamma)), \\neg\\alpha\\}\\vdash \\beta<\/span><\/span><\/td>\n<td>; \u2227-Elimination(3)<\/td>\n<\/tr>\n<tr>\n<td>(5)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{(\\alpha \\vee(\\beta \\wedge\\gamma)), \\neg\\alpha\\}\\vdash \\gamma<\/span><\/span><\/td>\n<td>; \u2227-Elimination(3)<\/td>\n<\/tr>\n<tr>\n<td>(6)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{(\\alpha \\vee(\\beta \\wedge\\gamma))\\}\\vdash (\\neg\\alpha\\rightarrow \\beta)<\/span><\/span><\/td>\n<td>; TD(4)<\/td>\n<\/tr>\n<tr>\n<td>(7)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{(\\alpha \\vee(\\beta \\wedge\\gamma))\\}\\vdash (\\alpha\\vee \\beta)<\/span><\/span><\/td>\n<td>; <span class=\"katex-eq\" data-katex-display=\"false\">\\rightarrow<\/span>-Definition(6)<\/td>\n<\/tr>\n<tr>\n<td>(8)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{(\\alpha \\vee(\\beta \\wedge\\gamma))\\}\\vdash (\\neg\\alpha \\rightarrow \\gamma)<\/span><\/span><\/td>\n<td>; TD(5)<\/td>\n<\/tr>\n<tr>\n<td>(9)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{(\\alpha \\vee(\\beta \\wedge\\gamma))\\}\\vdash (\\alpha \\vee \\gamma)<\/span><\/span><\/td>\n<td>; <span class=\"katex-eq\" data-katex-display=\"false\">\\rightarrow<\/span>-Definition(8)<\/td>\n<\/tr>\n<tr>\n<td>(9)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\boxed{\\{(\\alpha \\vee(\\beta \\wedge\\gamma))\\}\\vdash ((\\alpha\\vee \\beta) \\wedge (\\alpha \\vee \\gamma))}<\/span><\/span><\/td>\n<td>; \u2227-Introduction(7,9)<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p style=\"text-align: justify; color: #000000;\">This is half of the proof; now, the reverse proof is missing, but that is left as an exercise for the reader :3<\/p>\n<p><a name=\"3\"><\/a><br \/>\n<\/br><\/br><\/p>\n<h2>Final Considerations<\/h2>\n<p style=\"text-align: justify; color: #000000;\">With this review of the proofs of De Morgan&#8217;s laws of distribution for conjunction and disjunction, we can conclude our study of deduction techniques in propositional logic and how they converge in the proof of classical logic laws, or at least the most important ones.<\/p>\n<p style=\"text-align: justify; color: #000000;\">It is important to complete all the proposed proofs to reinforce knowledge of these techniques. To make it a little less complicated, it is very convenient to compare the proofs to find similarities, as it is possible that the strategy that worked in one proof will work with some variations to achieve another.<\/p>\n<p style=\"text-align: justify; color: #000000;\">One last thing worth noting is the order I chose to develop these proofs. You should notice that each proof used the results of some of the previous proofs. I chose this order because I personally found it easier this way. A good exercise to improve your skills in these things is to ask yourself, \u00abCan I construct these proofs in a different order following this same methodology?\u00bb I highly recommend that you try to obtain these proofs in a different order and use each proof to obtain the next ones because, even if you don&#8217;t manage to do it, the practice that arises from the attempt will give you a better understanding of the proofs and the methods used in logic.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Laws of DeMorgan, Distribution, and Their Proofs SUMMARYIn this class, we review the proofs of DeMorgan&#8217;s laws of Distribution for conjunction and disjunction, which are frequently used in propositional logic and areas such as set theory, probability, topology, electronics, and programming. The equivalences that formalize the distribution of negations with conjunction and disjunction are presented, [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":27484,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"iawp_total_views":10,"footnotes":""},"categories":[605,567,619],"tags":[],"class_list":["post-27487","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-mathematical-logic","category-mathematics","category-propositional-logic"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.4 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>DeMorgan&#039;s laws of Distribution and Their Proofs - toposuranos.com\/material<\/title>\n<meta name=\"description\" content=\"Discover the DeMorgan&#039;s laws of Distribution in propositional logic. With their proofs, you will understand their background.\" \/>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"http:\/\/toposuranos.com\/material\/en\/demorgans-laws-of-distribution-and-their-proofs\/\" \/>\n<meta property=\"og:locale\" content=\"es_ES\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"DeMorgan&#039;s laws of Distribution and Their Proofs\" \/>\n<meta property=\"og:description\" content=\"Discover the DeMorgan&#039;s laws of Distribution in propositional logic. With their proofs, you will understand their background.\" \/>\n<meta property=\"og:url\" content=\"http:\/\/toposuranos.com\/material\/en\/demorgans-laws-of-distribution-and-their-proofs\/\" \/>\n<meta property=\"og:site_name\" content=\"toposuranos.com\/material\" \/>\n<meta property=\"article:publisher\" content=\"https:\/\/www.facebook.com\/groups\/toposuranos\" \/>\n<meta property=\"article:published_time\" content=\"2021-02-14T13:00:28+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2024-07-18T20:54:07+00:00\" \/>\n<meta property=\"og:image\" content=\"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2024\/07\/demorgan.jpg\" \/>\n<meta name=\"author\" content=\"giorgio.reveco\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:title\" content=\"DeMorgan&#039;s laws of Distribution and Their Proofs\" \/>\n<meta name=\"twitter:description\" content=\"Discover the DeMorgan&#039;s laws of Distribution in propositional logic. With their proofs, you will understand their background.\" \/>\n<meta name=\"twitter:image\" content=\"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2024\/07\/demorgan.jpg\" \/>\n<meta name=\"twitter:creator\" content=\"@topuranos\" \/>\n<meta name=\"twitter:site\" content=\"@topuranos\" \/>\n<meta name=\"twitter:label1\" content=\"Escrito por\" \/>\n\t<meta name=\"twitter:data1\" content=\"giorgio.reveco\" \/>\n\t<meta name=\"twitter:label2\" content=\"Tiempo de lectura\" \/>\n\t<meta name=\"twitter:data2\" content=\"1 minuto\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/en\\\/demorgans-laws-of-distribution-and-their-proofs\\\/#article\",\"isPartOf\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/en\\\/demorgans-laws-of-distribution-and-their-proofs\\\/\"},\"author\":{\"name\":\"giorgio.reveco\",\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/#\\\/schema\\\/person\\\/e15164361c3f9a2a02cf6c234cf7fdc1\"},\"headline\":\"DeMorgan&#8217;s laws of Distribution and Their Proofs\",\"datePublished\":\"2021-02-14T13:00:28+00:00\",\"dateModified\":\"2024-07-18T20:54:07+00:00\",\"mainEntityOfPage\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/en\\\/demorgans-laws-of-distribution-and-their-proofs\\\/\"},\"wordCount\":1478,\"commentCount\":0,\"publisher\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/#organization\"},\"image\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/en\\\/demorgans-laws-of-distribution-and-their-proofs\\\/#primaryimage\"},\"thumbnailUrl\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/wp-content\\\/uploads\\\/2024\\\/07\\\/demorgan.jpg\",\"articleSection\":[\"Mathematical Logic\",\"Mathematics\",\"Propositional Logic\"],\"inLanguage\":\"es\",\"potentialAction\":[{\"@type\":\"CommentAction\",\"name\":\"Comment\",\"target\":[\"http:\\\/\\\/toposuranos.com\\\/material\\\/en\\\/demorgans-laws-of-distribution-and-their-proofs\\\/#respond\"]}]},{\"@type\":\"WebPage\",\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/en\\\/demorgans-laws-of-distribution-and-their-proofs\\\/\",\"url\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/en\\\/demorgans-laws-of-distribution-and-their-proofs\\\/\",\"name\":\"DeMorgan's laws of Distribution and Their Proofs - toposuranos.com\\\/material\",\"isPartOf\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/en\\\/demorgans-laws-of-distribution-and-their-proofs\\\/#primaryimage\"},\"image\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/en\\\/demorgans-laws-of-distribution-and-their-proofs\\\/#primaryimage\"},\"thumbnailUrl\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/wp-content\\\/uploads\\\/2024\\\/07\\\/demorgan.jpg\",\"datePublished\":\"2021-02-14T13:00:28+00:00\",\"dateModified\":\"2024-07-18T20:54:07+00:00\",\"description\":\"Discover the DeMorgan's laws of Distribution in propositional logic. With their proofs, you will understand their background.\",\"breadcrumb\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/en\\\/demorgans-laws-of-distribution-and-their-proofs\\\/#breadcrumb\"},\"inLanguage\":\"es\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"http:\\\/\\\/toposuranos.com\\\/material\\\/en\\\/demorgans-laws-of-distribution-and-their-proofs\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"es\",\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/en\\\/demorgans-laws-of-distribution-and-their-proofs\\\/#primaryimage\",\"url\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/wp-content\\\/uploads\\\/2024\\\/07\\\/demorgan.jpg\",\"contentUrl\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/wp-content\\\/uploads\\\/2024\\\/07\\\/demorgan.jpg\",\"width\":1024,\"height\":356,\"caption\":\"Created with GIMP\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/en\\\/demorgans-laws-of-distribution-and-their-proofs\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Portada\",\"item\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/es\\\/cursos-de-matematica-y-fisica\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"DeMorgan&#8217;s laws of Distribution and Their Proofs\"}]},{\"@type\":\"WebSite\",\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/#website\",\"url\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/\",\"name\":\"toposuranos.com\\\/material\",\"description\":\"\",\"publisher\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"es\"},{\"@type\":\"Organization\",\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/#organization\",\"name\":\"toposuranos.com\\\/material\",\"url\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"es\",\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/#\\\/schema\\\/logo\\\/image\\\/\",\"url\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/wp-content\\\/uploads\\\/2023\\\/10\\\/logo.png\",\"contentUrl\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/wp-content\\\/uploads\\\/2023\\\/10\\\/logo.png\",\"width\":2400,\"height\":2059,\"caption\":\"toposuranos.com\\\/material\"},\"image\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/#\\\/schema\\\/logo\\\/image\\\/\"},\"sameAs\":[\"https:\\\/\\\/www.facebook.com\\\/groups\\\/toposuranos\",\"https:\\\/\\\/x.com\\\/topuranos\",\"https:\\\/\\\/www.youtube.com\\\/channel\\\/UC16yDm12cPcrwsE0fAM7X1g\",\"https:\\\/\\\/www.linkedin.com\\\/company\\\/69429190\"]},{\"@type\":\"Person\",\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/#\\\/schema\\\/person\\\/e15164361c3f9a2a02cf6c234cf7fdc1\",\"name\":\"giorgio.reveco\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"es\",\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/wp-content\\\/uploads\\\/2023\\\/10\\\/1694478625378-96x96.jpeg\",\"url\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/wp-content\\\/uploads\\\/2023\\\/10\\\/1694478625378-96x96.jpeg\",\"contentUrl\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/wp-content\\\/uploads\\\/2023\\\/10\\\/1694478625378-96x96.jpeg\",\"caption\":\"giorgio.reveco\"},\"description\":\"Soy Licenciado en F\u00edsica, Magister en Ingenier\u00eda Industrial y Docente Universitario. Me dedico a desmitificar la f\u00edsica y las matem\u00e1ticas. Mi objetivo es hacer que estos campos sean f\u00e1cilmente comprensibles para todos, proporcionando las herramientas para explorar no solo el mundo que nos rodea, sino tambi\u00e9n las profundidades de nuestra propia existencia y el orden natural que nos conecta con el cosmos.\",\"sameAs\":[\"http:\\\/\\\/toposuranos.com\\\/material\"],\"url\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/author\\\/giorgio-reveco\\\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"DeMorgan's laws of Distribution and Their Proofs - toposuranos.com\/material","description":"Discover the DeMorgan's laws of Distribution in propositional logic. With their proofs, you will understand their background.","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"http:\/\/toposuranos.com\/material\/en\/demorgans-laws-of-distribution-and-their-proofs\/","og_locale":"es_ES","og_type":"article","og_title":"DeMorgan's laws of Distribution and Their Proofs","og_description":"Discover the DeMorgan's laws of Distribution in propositional logic. With their proofs, you will understand their background.","og_url":"http:\/\/toposuranos.com\/material\/en\/demorgans-laws-of-distribution-and-their-proofs\/","og_site_name":"toposuranos.com\/material","article_publisher":"https:\/\/www.facebook.com\/groups\/toposuranos","article_published_time":"2021-02-14T13:00:28+00:00","article_modified_time":"2024-07-18T20:54:07+00:00","og_image":[{"url":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2024\/07\/demorgan.jpg","type":"","width":"","height":""}],"author":"giorgio.reveco","twitter_card":"summary_large_image","twitter_title":"DeMorgan's laws of Distribution and Their Proofs","twitter_description":"Discover the DeMorgan's laws of Distribution in propositional logic. With their proofs, you will understand their background.","twitter_image":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2024\/07\/demorgan.jpg","twitter_creator":"@topuranos","twitter_site":"@topuranos","twitter_misc":{"Escrito por":"giorgio.reveco","Tiempo de lectura":"1 minuto"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"http:\/\/toposuranos.com\/material\/en\/demorgans-laws-of-distribution-and-their-proofs\/#article","isPartOf":{"@id":"http:\/\/toposuranos.com\/material\/en\/demorgans-laws-of-distribution-and-their-proofs\/"},"author":{"name":"giorgio.reveco","@id":"http:\/\/toposuranos.com\/material\/#\/schema\/person\/e15164361c3f9a2a02cf6c234cf7fdc1"},"headline":"DeMorgan&#8217;s laws of Distribution and Their Proofs","datePublished":"2021-02-14T13:00:28+00:00","dateModified":"2024-07-18T20:54:07+00:00","mainEntityOfPage":{"@id":"http:\/\/toposuranos.com\/material\/en\/demorgans-laws-of-distribution-and-their-proofs\/"},"wordCount":1478,"commentCount":0,"publisher":{"@id":"http:\/\/toposuranos.com\/material\/#organization"},"image":{"@id":"http:\/\/toposuranos.com\/material\/en\/demorgans-laws-of-distribution-and-their-proofs\/#primaryimage"},"thumbnailUrl":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2024\/07\/demorgan.jpg","articleSection":["Mathematical Logic","Mathematics","Propositional Logic"],"inLanguage":"es","potentialAction":[{"@type":"CommentAction","name":"Comment","target":["http:\/\/toposuranos.com\/material\/en\/demorgans-laws-of-distribution-and-their-proofs\/#respond"]}]},{"@type":"WebPage","@id":"http:\/\/toposuranos.com\/material\/en\/demorgans-laws-of-distribution-and-their-proofs\/","url":"http:\/\/toposuranos.com\/material\/en\/demorgans-laws-of-distribution-and-their-proofs\/","name":"DeMorgan's laws of Distribution and Their Proofs - toposuranos.com\/material","isPartOf":{"@id":"http:\/\/toposuranos.com\/material\/#website"},"primaryImageOfPage":{"@id":"http:\/\/toposuranos.com\/material\/en\/demorgans-laws-of-distribution-and-their-proofs\/#primaryimage"},"image":{"@id":"http:\/\/toposuranos.com\/material\/en\/demorgans-laws-of-distribution-and-their-proofs\/#primaryimage"},"thumbnailUrl":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2024\/07\/demorgan.jpg","datePublished":"2021-02-14T13:00:28+00:00","dateModified":"2024-07-18T20:54:07+00:00","description":"Discover the DeMorgan's laws of Distribution in propositional logic. With their proofs, you will understand their background.","breadcrumb":{"@id":"http:\/\/toposuranos.com\/material\/en\/demorgans-laws-of-distribution-and-their-proofs\/#breadcrumb"},"inLanguage":"es","potentialAction":[{"@type":"ReadAction","target":["http:\/\/toposuranos.com\/material\/en\/demorgans-laws-of-distribution-and-their-proofs\/"]}]},{"@type":"ImageObject","inLanguage":"es","@id":"http:\/\/toposuranos.com\/material\/en\/demorgans-laws-of-distribution-and-their-proofs\/#primaryimage","url":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2024\/07\/demorgan.jpg","contentUrl":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2024\/07\/demorgan.jpg","width":1024,"height":356,"caption":"Created with GIMP"},{"@type":"BreadcrumbList","@id":"http:\/\/toposuranos.com\/material\/en\/demorgans-laws-of-distribution-and-their-proofs\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Portada","item":"http:\/\/toposuranos.com\/material\/es\/cursos-de-matematica-y-fisica\/"},{"@type":"ListItem","position":2,"name":"DeMorgan&#8217;s laws of Distribution and Their Proofs"}]},{"@type":"WebSite","@id":"http:\/\/toposuranos.com\/material\/#website","url":"http:\/\/toposuranos.com\/material\/","name":"toposuranos.com\/material","description":"","publisher":{"@id":"http:\/\/toposuranos.com\/material\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"http:\/\/toposuranos.com\/material\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"es"},{"@type":"Organization","@id":"http:\/\/toposuranos.com\/material\/#organization","name":"toposuranos.com\/material","url":"http:\/\/toposuranos.com\/material\/","logo":{"@type":"ImageObject","inLanguage":"es","@id":"http:\/\/toposuranos.com\/material\/#\/schema\/logo\/image\/","url":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2023\/10\/logo.png","contentUrl":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2023\/10\/logo.png","width":2400,"height":2059,"caption":"toposuranos.com\/material"},"image":{"@id":"http:\/\/toposuranos.com\/material\/#\/schema\/logo\/image\/"},"sameAs":["https:\/\/www.facebook.com\/groups\/toposuranos","https:\/\/x.com\/topuranos","https:\/\/www.youtube.com\/channel\/UC16yDm12cPcrwsE0fAM7X1g","https:\/\/www.linkedin.com\/company\/69429190"]},{"@type":"Person","@id":"http:\/\/toposuranos.com\/material\/#\/schema\/person\/e15164361c3f9a2a02cf6c234cf7fdc1","name":"giorgio.reveco","image":{"@type":"ImageObject","inLanguage":"es","@id":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2023\/10\/1694478625378-96x96.jpeg","url":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2023\/10\/1694478625378-96x96.jpeg","contentUrl":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2023\/10\/1694478625378-96x96.jpeg","caption":"giorgio.reveco"},"description":"Soy Licenciado en F\u00edsica, Magister en Ingenier\u00eda Industrial y Docente Universitario. Me dedico a desmitificar la f\u00edsica y las matem\u00e1ticas. Mi objetivo es hacer que estos campos sean f\u00e1cilmente comprensibles para todos, proporcionando las herramientas para explorar no solo el mundo que nos rodea, sino tambi\u00e9n las profundidades de nuestra propia existencia y el orden natural que nos conecta con el cosmos.","sameAs":["http:\/\/toposuranos.com\/material"],"url":"http:\/\/toposuranos.com\/material\/author\/giorgio-reveco\/"}]}},"_links":{"self":[{"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/posts\/27487","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/comments?post=27487"}],"version-history":[{"count":0,"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/posts\/27487\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/media\/27484"}],"wp:attachment":[{"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/media?parent=27487"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/categories?post=27487"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/tags?post=27487"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}