For input abcd, assert y for minterm indices 0, 2, 8, 10, and 15. Use a minimized Boolean expression.