计算题

设*为集合S上可交换，可结合的二元运算，若a，b是S上关于*运算的幂等元，证明a*b也是关于*运算的幂等元，证：
a∨b=b∧c

设L是格，求以下公式的对偶式： b∨（c∧a）≤（b∨c）∧a

问答题

设L是格，求以下公式的对偶式：
b∨（c∧a）≤（b∨c）∧a

设L是格，求以下公式的对偶式： a∨(b∧c)≤（a∨b）∧(a∨c)

问答题

设L是格，求以下公式的对偶式：
a∨(b∧c)≤（a∨b）∧(a∨c)

设L是格，求以下公式的对偶式： a∧(a∨b)≤a

问答题

设L是格，求以下公式的对偶式：
a∧(a∨b)≤a