问答题
设L为格,,如果a1∧a2∧...∧an=a1∨a2∨...∨an,证明a1=a2=...=an。
填空题 设L是格,公式b∨(c∧a)≤(b∨c)∧a的对偶式为()。
填空题 设L是格,公式a∨(b∧c)≤(a∨b)∧(a∨c)的对偶式为()。
填空题 设L是格,公式a∧(a∨b)≤a的对偶式为()。