This shows you the differences between two versions of the page.

2-element_boolean_algebra [2010/08/16 10:54]
2-element_boolean_algebra [2010/08/16 11:03] (current)
Line 15: Line 15:
^$x$ |0|1| ^$x$ |0|1|
^$x'$|1|0| ^$x'$|1|0|
 +Alternative notation: $-x=\overline x=x^-=\neg x$
===Binary operations=== ===Binary operations===
Line 47: Line 48:
^$|$^0^1| ^$|$^0^1|
^0|1|1| ^0|1|1|
Nor: $x\downarrow y=(x\vee y)'$ Nor: $x\downarrow y=(x\vee y)'$
^$\downarrow$^0^1| ^$\downarrow$^0^1|
===Properties=== ===Properties===
Line 69: Line 70:
===Minimal superalgebras=== ===Minimal superalgebras===
-$\mathbb B_2^2$+[[4-element Boolean algebra]] $\mathbb B_2^2$
===Maximal homomorphic images=== ===Maximal homomorphic images===
-$\mathbb B_1$+[[1-element Boolean algebra]] $\mathbb B_1$
===Minimal homomorphic preimages=== ===Minimal homomorphic preimages===
-[[4-element Boolean algebra|$\mathbb B_2^2$]]+[[4-element Boolean algebra]] $\mathbb B_2^2$
===Maximal subvarieties=== ===Maximal subvarieties===