CNF

@Hoss93 
use list comprehension instead of this loop. look at my code in substitution or occurs