Skip to main content

All Questions

Filter by
Sorted by
Tagged with
3 votes
0 answers
131 views

Should we check for equivalence in Quine's method of simplifying Boolean functions?

I already asked this on Math Stack Exchange, but had no response. Now I've figured out it is more appropriate to ask such question on this site, since it is rather about further elaboration on a ...