做“要么不是情况 formula_27 要么是情况 formula_28（或二者）”，或更简单的“要么 formula_27为假 要么 formula_28为真（或二者）”。（当 formula_27为假，此式即已被浅薄的（trivial）满足。这种陈述等价的自然口语方式，即是使用否定和析取(或)的逻辑符号 formula_32而获得的。）