Pretty basic stuff. Useful in Boolean algebra (and by consequence probability theory).

Example

Let’s take the distributive property of Boolean algebra: