Which is a shame given (digital) EE's use formal logic professionally more than most of the programming industry. It's called formal verification (esp equivalen

Which is a shame given (digital) EE's use formal logic professionally more than most of the programming industry. It's called formal verification (esp equivalence). They should hear about first-order logic in ACL2 if nothing else.