Summary
Optimisation of the compilation of a binary circuits: Eliminate redundancy
Details
Example
AB+BC(B+C)
Distributing terms =
AB+BBC+BCC
Applying identity AA=A to 2nd and 3rd terms =
AB+BC+BC
Applying identity A+A=A to 2nd and 3rd terms =
AB+BC
Factoring B out of terms =
B(A+C)
Summary Optimisation of the compilation of a binary circuits: Eliminate redundancy
Details Example AB+BC(B+C) Distributing terms = AB+BBC+BCC Applying identity AA=A to 2nd and 3rd terms = AB+BC+BC Applying identity A+A=A to 2nd and 3rd terms = AB+BC Factoring B out of terms = B(A+C)
JIRA: AXS-49