Tambahin penjabaran

tambahin penjabaran CNF doank