e/Principle of distributivity

Information
has gloss	eng: The principle of distributivity states that the algebraic distributive law is valid for classical logic, where both logical conjunction and logical disjunction are distributive over each other so that for any propositions A, B and C the equivalences :A \land (B \lor C) \iff (A \land B) \lor (A \land C) and :A \lor (B \land C) \iff (A \lor B) \land (A \lor C) hold.
lexicalization	eng: principle of distributivity
instance of	c/Principles