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


 



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
  2. This comment has been removed by the author.

    ReplyDelete
    Replies
    1. This comment has been removed by the author.

      Delete
  3. 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…

How to create a simple Web Crawler

Web crawlers are used to extract information from web sites for many purposes.

The simple example given here accepts an URL and exposes some functions to query the content of the page.

To check out the source code of this example : https://github.com/nadeeth/crawler

If you are going to make any improvements to this code, I recommend you to follow TDD and use the unit test class in the code.

Step 1 : Create the class, init function and required attributes In this example, xpath is used for querying the given web page. There is an attribute to hold the page url, and another to hold the xpath object of the loaded page.

The init() function initializes the xpath object for the page URL assigned to url attribute.

class Crawler { public $url = false; protected $xpath = false; public function init() { $xmlDoc = new DOMDocument(); @$xmlDoc->loadHTML(file_get_contents($this->url)); $this->xpath = new DOMXPath(@$xmlDoc); } } In the next two ste…