(not M or V) and (A or not M) and (not B or M) and (B or V) and (A or not V) and (not A or B)