Can you suggest me a book/article/lecture notes where I can find informations about the topic: Lindenbaum Algebra and Boolean algebra? My purpose is to prove (or to sketch the proof of) the title ...
Is it possible to derive all the other boolean functions by taking other primitives different of $NAND$?
I was reading the TECS book (The Elements of Computing Systems), in the book, we start to build the other logical gates with a single primitive logical gate, the $NAND$ gate. With it, we could easily ...
It is well known that connecting NAND gates allows the construction of arbitrary circuits. Furthermore, a NAND gate can be represented as a digraph with four vertices (in order, the two inputs, the ...
Given a set $X$, we can construct the Boolean ring whose elements are the power set of $X$. The multiplication therein is intersection, and the addition is symmetric difference. I am interested in ...
I'm wondering what books are considered standard references these days, for boolean algebra. I have: Givant & Halmos, Introduction to Boolean Algebras (2010); Sikorsi, Boolean Algebras (3rd ed., ...
The Wikipedia article on Relation Algebra notes that this is a formal system which has essentially the same expressive power as the three-variable fragment of first-order logic. Peano Arithmetic can ...