Implement `cnf` function.
Implement test for `cnf` function.
Refactor out distributive law.