boolean logic inversion, x = ~a & ~b & ~c ==> ~(a | b | c) then use list
authorLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Sat, 17 Aug 2019 08:00:18 +0000 (09:00 +0100)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Sat, 17 Aug 2019 08:00:18 +0000 (09:00 +0100)
commit007351a8b5c54e1eb02e840f9ce84d6f4ee65ba3
tree183eb95bc34ab5bd816bab6a2ded131c7ad66b54
parent181cd9207a6c43b98386d6a90f053eccecfca44b
boolean logic inversion, x = ~a & ~b & ~c ==> ~(a | b | c) then use list
of terms, use bool(), and graph size is reduced
src/ieee754/part_mul_add/multiply.py