Exercise 5.1 (Equation 1). Let be given f(x)=(((x1→x2)↓x3)|x4)⊕x5.
-
1
Solve the equations f(x)=0 and f(x)=1 by using the XBOOLE Monitor in one step.
Hint: transfer | (NAND) and ↓ (NOR) into formulas that can be understood by the XBOOLE Monitor.
-
2
Solve these equations by operations with sets.
-
3
Verify the results by comparison of the previous two subtasks.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2009 Springer Science + Business Media B.V.
About this chapter
Cite this chapter
Steinbach, B., Posthoff, C. (2009). The Solution of Logic Equations. In: Logic Functions and Equations. Springer, Dordrecht. https://doi.org/10.1007/978-1-4020-9595-5_5
Download citation
DOI: https://doi.org/10.1007/978-1-4020-9595-5_5
Publisher Name: Springer, Dordrecht
Print ISBN: 978-1-4020-9594-8
Online ISBN: 978-1-4020-9595-5
eBook Packages: Computer ScienceComputer Science (R0)