问答题
设*为集合S上可交换,可结合的二元运算,若a,b是S上关于*运算的幂等元,证明a*b也是关于*运算的幂等元,证: a∨b=b∧c
问答题 设L是格,求以下公式的对偶式: b∨(c∧a)≤(b∨c)∧a
问答题 设L是格,求以下公式的对偶式: a∨(b∧c)≤(a∨b)∧(a∨c)
问答题 设L是格,求以下公式的对偶式: a∧(a∨b)≤a