# Tagged Questions

Boolean algebras are structures which behave similar to a power set with complement, intersection and union. Questions regarding Boolean algebras as structures, or regarding functions defined from/to Boolean algebras fit into this tag very nicely. For Boolean logic use the tag propositional logic

383 views

### What is the algorithm to add binary numbers with boolean operations? [closed]

What is the algorithm to add up two binary numbers using only boolean operations (negation, conjunction, disjunction) in linear time? Also the program flow needs to be "linear" as well, meaning there ...
1k views

### 3 input XOR gate

I am just beginning in computer engineering and need help with a problem. I have to implement a circuit following the boolean equation A XOR B XOR C, however the XOR gates I am using only have two ...
97 views

### Show that every boolean function with 3 variables can be represented with maximum number of 10 gates

I need to show that every Boolean function with 3 variables can be represented with maximum number of 10 gates, limited to the following: AND(2 ins), OR(2 ins), NOT(1 in). I tried to find Boolean ...
130 views

### Consensus Theorem: Legal to use redundant terms to find more redundant terms?

When using the Consensus Theorem in Boolean algebra to minimize an expression, is it a legal move to find and add a redundant term to the expression and then use that term to find more redundant terms ...
32 views

291 views

### Understanding comparability in a partially ordered sets with Hasse diagrams

I'm doing a section on directed graphs and Hasse diagrams right now on partially ordered sets, and I'm trying to understand what it means for two elements in a Hasse diagram to be comparable. For ...
35 views

### Convert boolean expression to pos then nor only

I'm trying to convert a + xb + xyz to POS then to nor only. First I got, a'(x' + b')(x' + y' + z') by using the duality rule but then I get confused after that. Thanks.
29 views

### Find boolean function

Given $\mathbb{B} = \{true, false\}$, and function $f: \mathbb{B} \times \mathbb{B} \times \mathbb{B} \to \mathbb{B}, f(a,b,c) = a \land b \lor c,~ \forall a,b,c \in \mathbb{B}$. I want to find a ...
39 views

### Solving equation set with boolean operators and very specific format

I have to write a program to solve a set of equations like the following (+ is XOR and * is <...
67 views

### Obtain the Boolean expression from the given circuit diagram

Currently having trouble understanding how to write out the boolean expression up to the exclusive or gate. Up to the third NAND gate I solved it to be AB+CD. But I get stumped on how to write out the ...
222 views

### Is it possible to convert this expression into a NAND GATE Circuit?

I am trying to construct a logic circuit for the expression (NOT Q & P) OR R - using only NAND gates. I have tried this, can someone confirm if what I have done is correct? if not what do i need ...
41 views

### Coset state for non-abelian hidden subgroup problem

On page 14 of his classic paper, Quantum factoring, discrete logarithms and the hidden subgroup problem, Jozsa introduced a function $f$ for the non-abelian hidden subgroup representation of the graph ...
23 views

### Proof of the following statement?

For one of the inclass problems, we had to prove the following statment using Properties of Boolean Algebra: xyz + x'y'z + x'yz + xyz' + x'y'z' = xy + yz + x'y' ...
82 views

### Gelfand duality restricted to the category of Stone spaces

It is well known that the category of unital commutative $C^\ast$-algebras is dually equivalent to the category $\mathbf{KHaus}$ of compact Hausdorff spaces. I have found that restricting the ...