logic.v 31.9 KB