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,212 questions
42 views

Get the non-overlapping area of two overlapping squares represented as two squares.

We have two rectangles. These are represented by coordinate pairs at the bottom-left (L) and top-right coordinates (R). In the following diagram, the second rect is translated x+ and y+, but the shape ...
64 views

1+AB=1 using boolean algebra ? Am I right or not?

As 1+AB Now if I put A=0 & B=1 then the above expression gives the answer 1 Conversely if I put A=1 & B=0 then again the answer of above expression is 1 I've seen manly rules or laws to ...
18 views

38 views

Prove this A∆B=C <=> B∆C=A [duplicate]

$A∆B=C <=> B∆A=C$ I don't idea. Is this correct task? Maybe the <=> means something else i don't know?
52 views

48 views

41 views

I dont see how its possible to explain why these logical connectives is adequate

"Explain why {$\wedge$, $\perp$} is adequate". I translate this to: Show how to construct {$\vee$, $\implies$, $\neg$} using only {$\wedge$, $\perp$}. I know that I can show this by comparing truth ...
54 views

Representation of free sigma-algebras

In his Lectures on Boolean Algebras, Halmos states the following theorem (p. 102): Theorem 14 For every set $I$, there exists a free $\sigma$-algebra generated by $I$, and, in fact, that algebra is ...
The question is about an exercise from the book "Lattice-ordered rings and modules" from Stuart A. Steingberg. This is the exercise 7 from chapter 1, section 2. Let $R$ a ring with no nonzero ...
Let's say I have a simple logic circuit comprised of three signals (A, B, and C) that go through two AND gates and one OR gate as follows: $$Q = (AC)+(BC)$$ But C will have different thresholds ...