0/1 vector representing a logical clause in CNF. Alternatively can be used as a 0/1 vector.