All Questions
Tagged with propositional-calculus boolean-algebra
322
questions
0
votes
1
answer
987
views
Converting a Proposition to DNF using proof systems
I have been attempting to convent a prop to DNF using a group of common rules, i have applied them all but i think i should be able to get it smaller, This is what I've got so far. Thanks!
$$(p \wedge ...
4
votes
1
answer
4k
views
Lindenbaum Algebras
After reading this page, I still have some questions about Lindenbaum algebras. Assume that the scope is a propositional language with a denumerable set X of propositonal variables.
In that case, the ...
3
votes
1
answer
139
views
Chains in the Lindenbaum algebra
What is the easiest example of an infinite chain in a Lindenbaum algebra for the propositional calculus?
Does there exist an infinite antichain in a Lindenbaum algebra?
1
vote
1
answer
3k
views
Expanding this boolean expression
Can this Boolean expression:
$$A*\overline{A*B}$$
be expanded to give:
$$A*\overline{A} * A*\overline{B}$$
Although that appears to reduce to zero?
I know $A(\overline{A+B})$ can be expanded to ...
3
votes
5
answers
11k
views
Algebraic proof of De Morgan's Theorems
Could someone give me an algebraic proof of De Morgan's Theorems?
I already know the graphic proof with the truth table, but I need to understand the algebraic way.
EDIT
I try to explain better. ...
0
votes
1
answer
398
views
Simplify boolean expression
$(xy’+z)’\cdot((xz)’+y')$
$$\begin{align*}
(xy’+z)’\cdot ((xz)’+y’) &=(x'+yz’)\cdot (x’+z’+y’)\\
&=x’x’ + x’z’ + x’y’ + yz’x’ + yz’z’ + yz’y’\\
&=x’ + x’z’ + x’y’ + yz’x’ + yz’...
2
votes
2
answers
227
views
Can $A+\bar{A}\bar{B}+BC$ get any simpler?
I've simplified this Boolean formula quite a bit. Can it get any simpler? My definition of simple in this case is using the least amount of operators (and, or)
Title is "A or (negative A and negative ...