CNF

@Hoss93 
use list comprehension