So, I have an equation:
~A * B * C * ~D + ~A * B * C * D + A * ~B * ~C * D + A * ~B * C * D + A * B * ~C * D + A * B * C * ~D
where * represents "AND" and + represents "OR", ~ being NOT.
Part of the reason I'm having trouble is due to the length of the equation.
So far, I've managed to use...