Mathematische Begründung von Murphys Gesetz:
In der EDV gilt unverrückbar der Satz 1+1=2.
Beim Einsatz eines Pentium-Prozessors gilt 1+1=2.0000094274679643.
In allen anderen Fällen ist "=" ein Symbol mit der Bedeutung "selten, wenn überhaupt".
Abweichungstheorem:
Der Unterschied zwischen digitaler Logik und Murphys Gesetz besteht darin, daß man nach der digitalen Logik eigentlich davon ausgehen müßte, daß alles immer nach der gleichen Methode schiefgeht.
Binäre Übersetzung des Abweichungstheorems:
Wenn Null besonders groß ist, ist es beinahe so groß wie ein bißchen Eins.