Added Distribution Law, the final part of CNF, not sure if it works but
it should in theory.