All Questions
1
question
1
vote
1
answer
259
views
Rewriting a boolean expression using different literals
I'd like to implement an algorithm to rewrite a boolean expression as a sum of products of different boolean expressions (expressed as new literals).
Example
Let's say that I have some literals $A_0,...