I am doing boolean simplification using Quine-McCluskey which works well.
However, I now need to perform the simplification with some known term combinations.
For example, I want to simplify:
(A+B)C
If I know that:
A+B == true
then this simplifies to:
C
Or if I know that:
BC == false
then it simplifies to
AC
How can I implement this in a fully general way?