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 ...
3 votes
1 answer
509 views

Application of Combinatorics, Logic and computability theory in physical science: Tiling of Wang Tile with proportionality

The original problem of Domino Tiling and Wang Tile has great theoretical interest on computability theory... However, the great emerging problem on application of Wang Tile in material science and ...