Treat abc as a binary minterm index. Implement both output columns from their specified sets of asserted rows.
