# Questions tagged [boolean-algebra]

Boolean algebras are structures which behave similar to a power set with complement, intersection and union. Use this tag for questions about Boolean algebras as structures, or about functions defined from/to Boolean algebras. For Boolean logic use the tag propositional-calculus.

2,209 questions
52 views

### Boolean Expression Simplification Problem

I started with a big problem and through various simplifications I've arrived at a point where I don't quite know what else to do. I've tried to further simplify but I keep running into issues. ...
30 views

### Show that the Lindenbaum-Tarski algebra is free over the set of propositional variables

Show that the Lindenbaum-Tarski algebra is free over the set of propositional variables. I was given that statement to prove. My lecturer said we need to show that any map from said set to a given ...
39 views

### Simplify boolean expression, so close but yet so far

$$F(w,x,y,z) = w'y' + w'z + x' + yz + y'z'$$ The simplest form is apparently $w'y' + x' + yz + y'z'$, but for the life of me, I cannot figure out how, no matter what trick I use.
153 views

### Tseytin transformation example

I am trying to understand Tseytin transformation and I can't really find any reliable info on the internet. I pretty much understand the steps until I get to the point I have to convert all ...
39 views

### why does a closed circuit represent a false proposition? (Claude Shannon thesis)

In reading through Claude Shannon's paper: A Symbolic Analysis of Relay and Switching Circuits. As a software engineer, I got confused by Shannon's choice to have 0 as representing a closed circuit, ...
98 views

73 views