Let's say you have a Boolean rule/expression like so

```
(A OR B) AND (D OR E) AND F

```

You want to convert it into as many AND only expressions as possible, like so

```
A AND D AND F
A AND E AND F
B AND D AND F
B AND E AND F

```

You are just reducing the OR's so it becomes

```
(A AND D AND F) OR (A AND E AND F) OR (...)

```

Is there a property in Boolean algebra that would do this?