logic.v 22.9 KB