ドモルガンの定理の証明方法をgamecorderに書きました。

数学の試験だけじゃなくて、ドモルガンはプログラムのif文にも適用することができます。

業務委託で仕事していた時のソースコードレビューを受けた中で、あるif文に指摘が入って、

if(!flag1 || !flog2)

があるとして、

if(flag1 && flog2)

こっちの方が変数名敵にわかりやすいんじゃない？

的な指摘がありました。

自分もその通りだなと思って修正したんですが、
その時、あっこれはドモルガンだなと思ったんです。

ドモルガンの定理が公式に発表されたとされるのが、wikiによると<br>
19世紀の前半らしいですが、これに気づいた人は、それ以前にもいっぱいいたはず。

そんなことに思いを馳せた。