Is there a logic gate which directly outputs (A'B)' (complement of, A complement product B)?
Sure, you could use a 74AXP1G57 "Low-power configurable multiple function gate"





It comes in a very small 6-pin package.