{\displaystyle a\vee (b\wedge c)=(a\vee b)\wedge (a\vee c).}