According to Google, In abstract algebra and formal logic, the distributive property of binary operations generalizes the distributive law from Boolean algebra and elementary algebra. In propositional logic, distribution refers to two valid rules of replacement.
I don't know how I would know but if he takes 30 minutes or less on each individual activity then he is correct, if he exceeds those limits, he is incorrect.
