Day: October 4, 2004

I’ve actually managed to squeeze in a little bit of free reading in the last two weeks, largely by sacrificing sleep. This is the curse of the engineer, I guess; on the other hand, Dan and I have written slightly over 12,000 lines of code in about a month, plus the additional code that I’ve…

So it turns out that digital logic and philosophical logic have slightly different implementations of DeMorgan’s rule, in terms of the strictness of shape conformity. In digital logic, the rule is !(ab) !a + !b This is a functional mapping, so it matches any pattern based on the main connective (AND or OR (+)), independent…