Closed n-young closed 3 years ago
Maybe not a DNF but a logic minimiser? Just leaving my thoughts here
Using repeated pushdown. This can lead to exponential growth in the size of the formula, though.
Maybe not a DNF but a logic minimiser? Just leaving my thoughts here