Let a⪯b⪯c⪯da⪯b⪯c⪯d be the variable ordering. ϕ=ϕ= a&b&d&!c|a&c&d|d&!b&!c|!d β=β= a&b&c|!c a) Convert the formula ϕϕ to Shannon normal form. b) Convert the formula ββ to Shannon normal form.
Let a⪯b⪯c⪯da⪯b⪯c⪯d be the variable ordering. ϕ=ϕ= a&b&d&!c|a&c&d|d&!b&!c|!d β=β= a&b&c|!c a) Convert the formula ϕϕ to Shannon normal form. b) Convert the formula ββ to Shannon normal form.
College Physics
11th Edition
ISBN:9781305952300
Author:Raymond A. Serway, Chris Vuille
Publisher:Raymond A. Serway, Chris Vuille
Chapter1: Units, Trigonometry. And Vectors
Section: Chapter Questions
Problem 1CQ: Estimate the order of magnitude of the length, in meters, of each of the following; (a) a mouse, (b)...
Related questions
Question
Let a⪯b⪯c⪯da⪯b⪯c⪯d be the variable ordering.
ϕ=ϕ= a&b&d&!c|a&c&d|d&!b&!c|!d
β=β= a&b&c|!c
ϕ=ϕ= a&b&d&!c|a&c&d|d&!b&!c|!d
β=β= a&b&c|!c
a) Convert the formula ϕϕ to Shannon normal form.
b) Convert the formula ββ to Shannon normal form.
c) ψψ is obtained by replacing all occurences of the variable b by formula ββ in formula ϕϕ.
Compute the ROBDD of ψψ by the Compose algorithm, and convert the result to Shannon normal form.
Compute the ROBDD of ψψ by the Compose algorithm, and convert the result to Shannon normal form.
Expert Solution
This question has been solved!
Explore an expertly crafted, step-by-step solution for a thorough understanding of key concepts.
Step by step
Solved in 2 steps
Knowledge Booster
Learn more about
Need a deep-dive on the concept behind this application? Look no further. Learn more about this topic, physics and related others by exploring similar questions and additional content below.Recommended textbooks for you
College Physics
Physics
ISBN:
9781305952300
Author:
Raymond A. Serway, Chris Vuille
Publisher:
Cengage Learning
University Physics (14th Edition)
Physics
ISBN:
9780133969290
Author:
Hugh D. Young, Roger A. Freedman
Publisher:
PEARSON
Introduction To Quantum Mechanics
Physics
ISBN:
9781107189638
Author:
Griffiths, David J., Schroeter, Darrell F.
Publisher:
Cambridge University Press
College Physics
Physics
ISBN:
9781305952300
Author:
Raymond A. Serway, Chris Vuille
Publisher:
Cengage Learning
University Physics (14th Edition)
Physics
ISBN:
9780133969290
Author:
Hugh D. Young, Roger A. Freedman
Publisher:
PEARSON
Introduction To Quantum Mechanics
Physics
ISBN:
9781107189638
Author:
Griffiths, David J., Schroeter, Darrell F.
Publisher:
Cambridge University Press
Physics for Scientists and Engineers
Physics
ISBN:
9781337553278
Author:
Raymond A. Serway, John W. Jewett
Publisher:
Cengage Learning
Lecture- Tutorials for Introductory Astronomy
Physics
ISBN:
9780321820464
Author:
Edward E. Prather, Tim P. Slater, Jeff P. Adams, Gina Brissenden
Publisher:
Addison-Wesley
College Physics: A Strategic Approach (4th Editio…
Physics
ISBN:
9780134609034
Author:
Randall D. Knight (Professor Emeritus), Brian Jones, Stuart Field
Publisher:
PEARSON