@Knight Well, you could use
natural deduction to derive it. That would be related to an actual deeper reason why the distributive law holds (because the implication $B \implies C$ is a right adjoint of the conjuction $A \land B$), but probably much more confusing than simply checking that it holds (which is also a derivation, in a certain sense).