Logic Functions and Equations: Examples and ExercisesSpringer Science & Business Media, 29. sij 2009. - Broj stranica: 232 Tsutomu Sasao – Kyushu Institute of Technology, Japan The material covered in this book is quite unique especially for p- ple who are reading English, since such material is quite hard to ?nd in the U.S. literature. German and Russian people have independently developed their theories, but such work is not well known in the U.S. societies. On the other hand, the theories developed in the U.S. are not conveyed to the other places. Thus, the same theory is re-invented or re-discovered in various places. For example, the switching theory was developed independently in the U.S., Europe, and Japan, almost at the same time [4, 18, 19]. Thus, the same notions are represented by di?- ent terminologies. For example, the Shegalkin polynomial is often called complement-free ring-sum, Reed-Muller expression [10], or Positive - larityReed-Mullerexpression [19].Anyway,itisquitedesirablethatsuch a unique book like this is written in English, and many people can read it without any di?culties. The authors have developed a logic system called XBOOLE.Itp- forms logical operations on the given functions. With XBOOLE, the readers can solve the problems given in the book. Many examples and complete solutions to the problems are shown, so the readers can study at home. I believe that the book containing many exercises and their solutions [9] is quite useful not only for the students, but also the p- fessors. |
Ostala izdanja - Prikaži sve
Logic Functions and Equations: Examples and Exercises Bernd Steinbach,Christian Posthoff Pregled nije dostupan - 2009 |
Logic Functions and Equations: Examples and Exercises Bernd Steinbach,Christian Posthoff Pregled nije dostupan - 2010 |
Logic Functions and Equations: Examples and Exercises Bernd Steinbach,Christian Posthoff Pregled nije dostupan - 2009 |
Uobičajeni izrazi i fraze
allowed applied associated basic behavior bi-decomposition Boolean Calculate Check circuit command Compare complement complete confirms correctness cover created defined depend derivative derk describes designed different differential edges empty empty TVL equal equation example Execute Exercise exists EXOR-bi-decomposition expression extended Figure Find finite-state machine first formula four gates given graph Hence implication includes input Karnaugh map list of phases Load logic function mark functions maxk means menu mink node object number operations orthogonal output pair partial path possible Practical tasks Prepare prime conjunctions problem realized regard relation removed respective restricted result rows selected sequential circuit shows simple solution set Solve space specified step structure system function ternary vectors test patterns tion transformation true TVL system unique values variables vectors Verify vtin XBOOLE Monitor