By Crama Y., Hammer P.
Read or Download Boolean functions. Theory, algorithms, and applications PDF
Similar mathematics books
This ebook is an replace and extension of the vintage textbook by way of Ludwig Prandtl, 'Essentials of Fluid Mechanics. ' Chapters on wing aerodynamics, warmth move, and layered flows were revised and prolonged, and there are new chapters on fluid mechanical instabilities and biomedical fluid mechanics.
In recent times the equipment of recent differential geometry became of substantial value in theoretical physics and feature stumbled on software in relativity and cosmology, high-energy physics and box idea, thermodynamics, fluid dynamics and mechanics. This textbook presents an advent to those equipment - specifically Lie derivatives, Lie teams and differential varieties - and covers their broad purposes to theoretical physics.
This e-book offers a fast advent to subject matters in graph idea quite often coated in a graduate direction. the writer units out the most fresh ends up in numerous parts of present study in graph thought. issues lined comprise edge-colourings, symmetries of graphs, packing of graphs, and computational complexity.
- Arabic Chrestomathy in Hebrew Characters
- Linear Operators, Part I: General Theory (Wiley Classics Library)
- Cours de mathématiques supérieures
- A x -operator on complete riemannian manifolds
- A basic inequality for submanifolds in locally conformal almost cosymplectic manifolds
- Didaktik des Sachrechnens in der Sekundarstufe (Mathematik Primar- und Sekundarstufe)
Extra info for Boolean functions. Theory, algorithms, and applications
Fm are m Boolean functions on B n , then the Boolean function ψ(f1 , f2 , . . , fm ) can be defined in the natural way: Namely, for all X ∗ ∈ Bn , ψ(f1 , f2 , . . , fm ) (X ∗ ) = ψ(f1 (X ∗ ), f2 (X ∗ ), . . 2) simply boils down to function composition). 3 Duality 13 Boolean functions on B n , then the functions f ∨ g, f ∧ g, and f are defined, for all X∗ ∈ Bn , by (f ∨ g)(X∗ ) = f (X ∗ ) ∨ g(X∗ ), (f ∧ g)(X∗ ) = f (X ∗ ) ∧ g(X∗ ), f (X ∗ ) = f (X ∗ ). 8. The dual of a Boolean function f is the function f d defined by f d (X) = f (X) for all X = (x1 , x2 , .
6. We say that two Boolean expressions ψ and φ are equivalent if they represent the same Boolean function. When this is the case, we write ψ = φ. 1 are equivalent even though they are not identical. 5. The function f (x, y, z) represented by ψ1 (x, y, z) = (x ∨ y)(y ∨ z) ∨ xyz (see previous examples) is also represented by the expression φ = x z ∨ y. Indeed, (x ∨ y)(y ∨ z) ∨ xyz = (xy ∨ x z ∨ yy ∨ yz) ∨ xyz = xy ∨ x z ∨ y ∨ yz ∨ xyz = xz∨y (distributivity) (idempotency and associativity) (absorption).
It is easy to check that φ is equivalent to the CNF (x ∨ y)(y ∨ z) with clauses (x ∨ y) and (y ∨ z). The expression ψ2 (x1 , x2 , x3 , x4 ) = x1 x2 ∨ x 3 x 4 is a DNF; it is equivalent to the CNF (x1 ∨ x 3 )(x1 ∨ x 4 )(x2 ∨ x 3 )(x2 ∨ x 4 ). 4) = (x ∨ y)(y ∨ z). 3) (which is not a normal form). This is not an accident. Indeed, we can now establish a fundamental property of Boolean functions. 4. Every Boolean function can be represented by a disjunctive normal form and by a conjunctive normal form.