The function is one for minterms 1, 2, 6, and 7 of abc. Implement the truth table directly or factor it into mux logic.
