# 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

33 views
+50

### How to deal with an 8 variable Karnaugh map

I'm reaching back into my high school days trying to remember one of the rules about Karnaugh Maps. I have an 8 variable input, and I remember that I should try and make the selections a big as ...
62 views

### Logical limitations of Proofs by Contradiction

In general proofs by contradiction go as follows: Given an arbitrary hypothesis, $\ p \implies q$, we assume $\left(p\implies q\right) = T$, and then we show that by assuming the hypothesis to be ...
34 views

### Can$A \cap (B' \cap C')$ be $(A \cap B') \cap (A \cap C')$?

If I use the above statement, provided that it is right, in a question, would I have to prove it as well?
522 views

2k views

### Why are Boolean Algebras called “Algebras”?

Boolean algebras aren't algebras (to the best of my understanding). So why are they called algebras? Wouldn't it make more sense to call them a "Boolean system" or a "Boology" or something else like ...
17 views

### General rules for transforming boolean equations?

Are there general or restricted rules for transforming between equivalent boolean equations? A concrete problem that I have is given the following equation: ...
30 views

### Help with Simplifying boolean algebra, not sure if i have done it correctly.

I have no idea how to do boolean algebra, First question is x'y + x(x + y') I need to first draw a circuit diagram(logic gate) and then simplify it and draw a simplified logic gate. As of now I ...
7k views

### self dual boolean function

How many self-dual Boolean functions of n variables are there?Please help me how to calculate such like problems. A Boolean function $f_1^D$ is said to be the dual of another Boolean function ...
30 views

14 views

### Tests for combinational logic - product of sums simplification

I am trying to understand how to simplify the Boolean cover function $(4+6)(12+14)(0+1+2+3)(11)(3)(9)(13)(10+14)(1+3+9)$ which is a stuck-at fault test cover function derived in this paper. I know ...
30 views

### Simplify a Boolean Algebra expression with don't cares

In my homework assignment, I'm asked to simplify an expression of Q'RS'T' + Q'R'S'T + RS'T with don't-cares of m3, m12, and m14. I know how I would achieve this result with a K-map, however the ...
33 views

### Solving $n$-binary-variable system of equations using only combinations of $n \over 2$ variables when $n \over 2$ is even

It seems that it's impossible to find the unique solution to an $n$-binary-variable system of XOR equations if you only use all $(n \text{ choose } {n \over 2})$ equations combining half the ...
37 views

### necessity of $f(0)=0$ and $f(1)=1$ in homomorphisms of boolean algebras

Let $A,B$ be boolean algebras and let $f \colon A \rightarrow B$. $f$ is a homomorphism of boolean algebras if $f$ is a homomorphism of the corresponding lattices and $f(0)=0$ and $f(1)=1$. Why is it ...
46 views

### Boolean function analysis on random graphs?

Random graphs have some properties that are determined in some random way such as edge probabilities in the interval $[0,1]$. Ryan O'Donnell's book "Analysis of Boolean Functions" (2014) has analysis ...
639 views

### calculating number of boolean functions

I would just like to clarify if I am on the right track or not; I have these questions: Consider the Boolean functions $f(x,y,z)$ in three variables such that the table of values of $f$ contains ...
19 views

### number of permutation in a boolean expression containing only ANDs and ORs

I need to find the number of permutations of some expression which contains only conjunctions and disjunctions e.g.: $$e = x_1x_2 \vee x_3x_4$$ where $x_1x_2$ and $x_3x_4$ are boolean summands, ...
11 views

### Pseudo-Boolean functions restricted to integers

The Pseudo-Boolean functions are of the following form. $$f : \mathbb{B}^n \to \mathbb{R}$$ I would like to know if there is a special sub-category of $$f : \mathbb{B}^n \to \mathbb{Z}$$ with ...
33 views

### What will be the answer to this K-Map?

I have a K-Map and I need to figure out which expression isn't equivalent to the provided K-Map. ...
59 views

### Are all algebras groups?

It seemed to me that boolean algebra is a group because it is closed (You can't use boolean algebra and get a result that is outside the group) under a logical primitive(?) and order of operands and ...
$(A+B)(B+\bar B)(\bar B+C)$ Distributive LAW $(AB+A \bar B+B B+B \bar B)(\bar B+C)$ Distributive LAW $(A B \bar B+A B C+A \bar B \bar B+A \bar B C+B B \bar B+B B C+B \bar B \bar B+B \bar B C)$ ...