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…

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,…