Exploit distributive laws (eg: And distributes over Or, Mul over Add, etc) in a