|
2 | fix typography | ||
|
Recall that an algebra $(A,\sim)$ is a De Morgan algebra if $A$ is a bounded distributive lattice and $\sim$ is a unary operation which satisfies: $\sim {\sim} (x\vee y)=\sim y)={\sim} x\wedge \sim {\sim} y$ and $\sim\sim {\sim\sim} x=x$. When the following property is valid? $\sim\bigwedge\limits_{i\in ${\sim}\bigwedge_{i\in I} x_i=\bigvee\limits_{i\in x_i=\bigvee_{i\in I} \sim x_i$,{\sim} x_i$$ |
||||
|
|
1 |
|
||
Complete De Morgan algebraRecall that an algebra $(A,\sim)$ is a De Morgan algebra if $A$ is a bounded distributive lattice and $\sim$ is a unary operation which satisfies: $\sim (x\vee y)=\sim x\wedge \sim y$ and $\sim\sim x=x$. When the following property is valid? $\sim\bigwedge\limits_{i\in I} x_i=\bigvee\limits_{i\in I} \sim x_i$,
|
||||
