logic.v 19.7 KB