Tag: distributive law of boolean algebra