سوال در مورد گزاره های ومپوز
 

سلام
در مساله ومپوز گزاره ای که نشان دهنده این است که حداقل یک ومپوز( w ) در جدول وجود دارد این گزاره میشود ( w11 v w12 v w13 v ... v w43 v w44 ) (منظور از vیعنی or)
حالا برای اینکه نشان دهیم در این جدول حداکثر یک ومپوز w وجود دارد چه گزاره ای می توانیم بنویسیم؟(راهنمایی:برای هر دو مربع حداکثر دو ومپوز قرار دارد)

خواهش میکنم کمک کنید!!