All Questions
Tagged with karnaugh-map propositional-logic
2 questions
1
vote
1
answer
1k
views
Is this possible to solve boolean satisfiablility by using karnaugh maps to simplify the whole given boolean formula by simplifying subformulas?
Building karnaugh map for the whole given boolean formula always costs Θ(2n) both time and space complexities, where $n$ is the number of boolean variables in the given boolean formula.
It is ...
-1
votes
2
answers
345
views
Which formula corresponds 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.
$f(w,x,y,z) = \sum(3,7,9,11,13,15) + \Phi(4,5,6)$
We know that both options (a) and (b) are ...