Siden har det blitt gjort betydelige fremskritt innen både teori og anvendelse av boolsk differensialregning, også på området som initierte fagfeltet – design og logisk syntese av switching circuits.