Part of our day-to-day tasks is to do code refactoring. As part of this process, I’m sure that many of us have had to negate the logical expressions in if or while statements at least once. For example, we may want to change this code:<\/p>\n\n\n
\nif logged_in\n # do something when logged in\nelse\n # do something when not logged in\nend\n<\/pre><\/div>\n\n\ninto something like this:<\/p>\n\n\n
\nif !logged_in\n # do something when not logged in\nelse\n # do something when logged in\nend\n<\/pre><\/div>\n\n\nThis is indeed a very simple change, so consider this other example:<\/p>\n\n\n
\n# Original\nif (age >= 18 && age < 21)\n\n# Negated\nif !(age >= 18 && age < 21)\n<\/pre><\/div>\n\n\nThis works and it’s perfectly valid, but it’s not always the best thing to do. Long expressions with a negation at the start are hard to read, and this is not the code I’d like to debug when there’s a production bug at 3 am.<\/p>\n\n\n\n
As you may have noticed already, this is a better way to negate that expression, as it greatly improves its readability:<\/p>\n\n\n
\nif age < 18 || age >= 21\n<\/pre><\/div>\n\n\nAnd things may get more complicated as we add more conditions to our statement, like:<\/p>\n\n\n
\nif (admin || (retry < 15 && retry >= 3)) && !logged_in\n<\/pre><\/div>\n\n\nThe interesting thing is that we have a simple set of rules that dictate how to negate our conditions. Let me introduce you to De Morgan’s laws.<\/p>\n\n\n\n
The De Morgan’s Laws<\/h2>\n\n\n\n
Although Augustus De Morgan was not the first to come up with the laws that take his name, he is recognised for being the first to state them in terms of modern formal logic [1]. These rules can, however, be expressed in simple English as follows:<\/p>\n\n\n\n
\n- The negation of “A and B” is the same as “not A or not B”.<\/li>\n\n\n\n
- The negation of “A or B” is the same as “not A and not B”.<\/li>\n<\/ol>\n\n\n\n
In code, we could write them as:<\/p>\n\n\n
\n!(a && b) == (!a || !b)\n!(a || b) == (!a && !b)\n<\/pre><\/div>\n\n\nLet’s consider some examples to see how these rules can be used:<\/p>\n\n\n\n
Applying The Laws<\/h2>\n\n\n\n
The first law is indeed very simple to apply:<\/p>\n\n\n
\n# Original\nif (logged_in && has_permission)\n\n# Negated\nif !(logged_in && has_permission)\n\n# Applying the first law\nif (!logged_in || !has_permission)\n<\/pre><\/div>\n\n\nAnd so is the second:<\/p>\n\n\n
\n# Original\nif (email_valid || phone_valid)\n\n# Negated\nif !(email_valid || phone_valid)\n\n# Applying the second law\nif (!email_valid && !phone_valid)\n<\/pre><\/div>\n\n\nThings get more interesting with more complex expressions. In this example, we’ll negate an expression that combines && and ||<\/code> operators. Note that in this example I apply the laws in two steps to show how the negation can be propagated into groups of parentheses, while having the same logical meaning at all times.<\/p>\n\n\n\n# Original\nif (can_view || is_admin) && status == "active"\n\n# Negated\nif !((can_view || is_admin) && status == "active")\n\n# Applying the laws\nif (!(can_view || is_admin)) || !(status == "active")\nif (!can_view && !is_admin) || status != "active"\n<\/pre><\/div>\n\n\nWe can also apply the law to relational operators, like in the example below:<\/p>\n\n\n
\n# Original\nif (age >= 18 && age < 21)\n\n# Negated\nif !(age >= 18 && age < 21)\n\n# Applying the laws\nif !(age >= 18) || !(age < 21)\nif age < 18 || age >= 21\n<\/pre><\/div>\n\n\nWrap Up<\/h3>\n\n\n\n
The De Morgan’s laws give us easy to follow steps to effortlessly invert the most complex logical expressions in our code.<\/p>\n\n\n\n
However, I’d be really worried if my code was full of lengthy, complex expressions. Maybe one or two are unavoidable, but if your conditional are growing big, consider refactoring your code to avoid them in the first place.<\/p>\n\n\n\n
If you decide to change your code, be it to invert a conditional or simplify it, I would highly recommend using unit tests to ensure that the code works as expected before and after the refactor, as no laws discovered to date are able to prevent human error.<\/p>\n\n\n\n
Cheers,
Jos\u00e9 Miguel<\/p>\n\n\n\n
Share if you find this content useful, and Follow me on LinkedIn<\/a> to be notified of new articles.<\/em><\/p>\n\n\n\nReferences<\/h3>\n\n\n\n
[1]<\/a> Formal Logic: or, The Calculus of Inference, Necessary and Probable. De Morgan, 1847.
[2]<\/a> De Morgan’s laws – Wikipedia<\/p>\n","protected":false},"excerpt":{"rendered":"Part of our day-to-day tasks is to do code refactoring. As part of this process, I’m sure that many of us have had to negate the logical expressions in if or while statements at least once. For example, we may want to change this code: into something like this: This is indeed a very simple […]<\/p>\n","protected":false},"author":2,"featured_media":759,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[],"class_list":["post-750","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-uncategorized"],"_links":{"self":[{"href":"https:\/\/jm.armijo.au\/dev\/wp-json\/wp\/v2\/posts\/750","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/jm.armijo.au\/dev\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/jm.armijo.au\/dev\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/jm.armijo.au\/dev\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/jm.armijo.au\/dev\/wp-json\/wp\/v2\/comments?post=750"}],"version-history":[{"count":13,"href":"https:\/\/jm.armijo.au\/dev\/wp-json\/wp\/v2\/posts\/750\/revisions"}],"predecessor-version":[{"id":766,"href":"https:\/\/jm.armijo.au\/dev\/wp-json\/wp\/v2\/posts\/750\/revisions\/766"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/jm.armijo.au\/dev\/wp-json\/wp\/v2\/media\/759"}],"wp:attachment":[{"href":"https:\/\/jm.armijo.au\/dev\/wp-json\/wp\/v2\/media?parent=750"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/jm.armijo.au\/dev\/wp-json\/wp\/v2\/categories?post=750"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/jm.armijo.au\/dev\/wp-json\/wp\/v2\/tags?post=750"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}