All Questions
Tagged with propositional-calculus boolean-algebra
37
questions with no upvoted or accepted answers
0
votes
1
answer
137
views
Boolean Algebra with OR and XOR in sequence
For an expression like A (OR) B (OR) C (XOR) D, how would I interpret the output? Would it be (A (OR) B (OR) C) (XOR) D or (A (OR) B) (OR) (C (XOR) D)?
0
votes
0
answers
167
views
How to solve a system of 2nd degree boolean equations?
Any ideas on how to solve a system of boolean equations with XOR(+) and AND(*) operations, that can contain x[i] AND x[j] (2nd degree), but not ...
0
votes
1
answer
95
views
Completing a logical transformation.
So I have a problem where I need to solve the first part of an implication so that it works with the second part.
https://i.sstatic.net/xx5bE.jpg
This is the problem as given to me.
What i have ...
0
votes
0
answers
93
views
How to turn this formula into CNF?
This formula
$$(p \land q) \lor ( \neg q \lor r) \land ( \neg p \lor r)$$
has the CNF
$$(\neg p \lor q \lor r) \land ( p \lor \neg q \lor r)$$
I understand how CNF works, but I can't seem to ...
0
votes
1
answer
131
views
Converse, inverse and contrapositive statements of $p \to q$
Greetings fellow denizens of Planet Earth. I have a question in regards to propositional logic. My question is in regards to the to one making a statement. I'm going to use 2 random variables p and q.
...
0
votes
1
answer
248
views
Assistance in proving a tautology using a series of logical equivalences.
I am trying to prove, using a series of logical equivalence rules, that the following formula is a tautology:
$$[a∧(a→b)∧(b→c)]→c$$
Yet despite numerous successes on other tautologies and logical ...
-1
votes
2
answers
153
views
How can I tell if this boolean expression is a tautology without proving it?
((X'+ Y)·(Z'+ Y'))' + (Z'+ X')
So I proved this to be a tautology. And a follow up question I received was how can I know it's a tautology simply by looking the original boolean expression. I can't ...