Skip to main content

De Morgan's Laws in Programming

Recently, while I was reviewing some codes, I saw there were some conditional statements that check for the same condition but written in different ways. Most of these statements were written with common sense without using any mathematical analysis, since those are too simple to go for a more formal approach. The two identical conditional statements that has been written in different ways are given below.

01)

if ($comment['deleted'] == '1' || $comment['approved'] == '0') {
                unset($conversationsArray[$key]);
} else {
               ++$count;
}

02)

if ($comment['deleted'] == '0' && $comment['approved'] == '1') {
               ++$count;             
} else {
             unset($conversationsArray[$key]);
}

Obviously, the above lines say that the inverse of the first condition is equals to the second condition and vice versa. That is...

 ($comment['deleted'] == '1' || $comment['approved'] == '0')  "equals to" !($comment['deleted'] == '0' && $comment['approved'] == '1') .

That means simply in this case...

(true || false) ==> !(false && true)

This is an one real life example to prove the theory called "De Morgan's Law" in Pure Mathematics. Theories like these can be used to improve the source codes in many ways. In the cases like above, one can write more consistent and efficient codes with the knowledge of these theories.

On the other hand, in the early ages, if the students are aware of the real applications of those theories they will learn those with some more enthusiasm.


More details:

http://en.wikipedia.org/wiki/De_Morgan's_law
http://en.wikipedia.org/wiki/Augustus_De_Morgan


 



Labels:

Comments

  1. Bạn đang cần giao hang nhanh để giao hàng đến tay khách hàng của bạn, thông qua dịch vụ giao hàng cho shop online. Nếu bạn đang tìm dịch vụ này hãy đến và thử sử dụng dịch vụ giao hàng tận nơi để giao hàng đến tay người nhận nhanh nhất, dịch vụ này được đông đảo các shop kinh doanh online ủng hộ. Bạn có thể tham khảo qua bảng giá giao hàng tại đây. Ngoài ra chúng tôi còn có các dịch vụ khác như giao hàng nhanh hà nội, chuyển hàng đi miền tây, vận chuyển hàng đi hà nội, chuyển hàng về Long An, gửi hàng về Sóc Trăng, vận chuyển hàng hóa đi đà nẵng. Nếu bạn cần nơi nhận ship hàng hà nội hãy cứ liên hệ với chúng tôi nhé.

    ReplyDelete

  3. This comment has been removed by the author.

    ReplyDelete
    Replies

    1. This comment has been removed by the author.

      Delete

  6. Là một trong những doanh nghiệp hàng đầu trong lĩnh vực vận tải logistics, Indochina Post tự tin là đối tác vận tải tin cậy của quý khách hàng.
    Đặc biệt
    Từ Hà Nội, Indochina Post chuyên cung cấp dịch vụ chuyển phát nhanh giấy tờ, bưu phẩm tới toàn bộ tỉnh thành của Thái Lan: chuyển phát nhanh từ Hà Nội đi Thái Lan , chuyển phát nhanh từ Hà Nội đi Thái-Bangkok , chuyển phát nhanh từ Hà Nội đi Thái-Nakhon Ratchasimakorat , chuyển phát nhanh từ Hà Nội đi Thái-Ubon Ratchathani , chuyển phát nhanh từ Hà Nội đi Thái-Khon Kaen , chuyển phát nhanh từ Hà Nội đi Thái-Buri Ram , chuyể n phát nhanh từ Hà Nội đi Thái-Udon Thani , chuyển phát nhanh từ Hà Nội đi Thái-Sisaket.

    ReplyDelete

Post a Comment

Popular posts from this blog

How to create a new module for vtiger...

Recently, I had to create a new module for vtigerCRM for my client in current working place. I did search in many places including the official vtiger sites, but couldn’t find a better documentation for my purpose. The latest vtiger version at that time was 5.0.3. Because I had some experience doing lots of core modifications for this system, I did decide to read the source code and find how to add a new module. Finally, I could create a new module and started the project. So, I thought it will be a good thing to write some thing on my blog about this topic, so that others who want to do this thing can read. Given below is a brief description about how to create a new module for vtiger CRM 5.0.3. Source code of this example module is also available to Download.
Step 01: Creating the module directory and minimum required files.
Create a directory called “newModule” inside your vtiger modules directory, or any other name that you prefer. Now, module index file should be created. Create a…
47 comments
Read more

How to create a waveform animation with HTML and JavaScript

Recently, for a pet project, I wanted to create an animation of a waveform based on the varying decibel level of the microphone input. I was thinking about a really simple way to accomplish this with SVG and JavaScript. Given below is the first sample code I did on the Codepen. You can change this code to use with any framework of your choice.

For this sample code, I am using a random number as the microphone input. You can replace it with any other time based input.

Code Pen : https://codepen.io/nadeeth/pen/vmaYXw

For this example, you need an HTML code snippet like the one given below. It’s just an SVG with a Polyline element inside. 

<div style="text-align:center">   <svg height="150" width="400" id='svg'>     <polyline id="polyline-id" fill="none" stroke="#005c66" stroke-width="1" />   </svg> </div> And then the plain Javascript code to animate the polyline. You can replac…
Post a Comment
Read more

Common Characteristics of Enterprise Applications

Last week, I was conducting a tech talk about “Architectural Patterns of Enterprise Applications” with our team. The discussion was mainly based on Marin Fowler's famous book “Patterns of Enterprise Application Architecture”. So, I thought, it's good to write something about that in my Blog. Given below are few common characteristics of Enterprise Applications. If any software product has the following characteristics, we can identify it as an Enterprise Application. These ware originally documented by “Martin Fowler”, in his book “Patterns of Enterprise Application Architecture”.

Persistent Data - Enterprise applications usually involve persistent data. The data is persistent because it needs to be around between multiple runs of the program—indeed, it usually needs to persist for several years. Also during this time there will be many changes in the programs that use it.
Lot of Data - There's usually a lot of data, a moderate system will have over 1 GB of data organized in…
Post a Comment
Read more