Author: Sergiu Rudeanu
Publisher:
ISBN:
Category : Mathematics
Languages : en
Pages : 472
Book Description
Boolean Functions and Equations
Author: Sergiu Rudeanu
Publisher:
ISBN:
Category : Mathematics
Languages : en
Pages : 472
Book Description
Publisher:
ISBN:
Category : Mathematics
Languages : en
Pages : 472
Book Description
Boolean Functions
Author: Yves Crama
Publisher: Cambridge University Press
ISBN: 1139498630
Category : Mathematics
Languages : en
Pages : 711
Book Description
Written by prominent experts in the field, this monograph provides the first comprehensive, unified presentation of the structural, algorithmic and applied aspects of the theory of Boolean functions. The book focuses on algebraic representations of Boolean functions, especially disjunctive and conjunctive normal form representations. This framework looks at the fundamental elements of the theory (Boolean equations and satisfiability problems, prime implicants and associated short representations, dualization), an in-depth study of special classes of Boolean functions (quadratic, Horn, shellable, regular, threshold, read-once functions and their characterization by functional equations) and two fruitful generalizations of the concept of Boolean functions (partially defined functions and pseudo-Boolean functions). Several topics are presented here in book form for the first time. Because of the depth and breadth and its emphasis on algorithms and applications, this monograph will have special appeal for researchers and graduate students in discrete mathematics, operations research, computer science, engineering and economics.
Publisher: Cambridge University Press
ISBN: 1139498630
Category : Mathematics
Languages : en
Pages : 711
Book Description
Written by prominent experts in the field, this monograph provides the first comprehensive, unified presentation of the structural, algorithmic and applied aspects of the theory of Boolean functions. The book focuses on algebraic representations of Boolean functions, especially disjunctive and conjunctive normal form representations. This framework looks at the fundamental elements of the theory (Boolean equations and satisfiability problems, prime implicants and associated short representations, dualization), an in-depth study of special classes of Boolean functions (quadratic, Horn, shellable, regular, threshold, read-once functions and their characterization by functional equations) and two fruitful generalizations of the concept of Boolean functions (partially defined functions and pseudo-Boolean functions). Several topics are presented here in book form for the first time. Because of the depth and breadth and its emphasis on algorithms and applications, this monograph will have special appeal for researchers and graduate students in discrete mathematics, operations research, computer science, engineering and economics.
Boolean Functions and Equations
Author: Sergiu Rudeanu
Publisher:
ISBN:
Category : Algebra, Boolean
Languages : en
Pages : 472
Book Description
Publisher:
ISBN:
Category : Algebra, Boolean
Languages : en
Pages : 472
Book Description
Boolean Differential Equations
Author: Bernd Steinbach
Publisher: Morgan & Claypool Publishers
ISBN: 1627052429
Category : Technology & Engineering
Languages : en
Pages : 160
Book Description
The Boolean Differential Calculus (BDC) is a very powerful theory that extends the structure of a Boolean Algebra significantly. Based on a small number of definitions, many theorems have been proven. The available operations have been efficiently implemented in several software packages. There is a very wide field of applications. While a Boolean Algebra is focused on values of logic functions, the BDC allows the evaluation of changes of function values. Such changes can be explored for pairs of function values as well as for whole subspaces. Due to the same basic data structures, the BDC can be applied to any task described by logic functions and equations together with the Boolean Algebra. The BDC can be widely used for the analysis, synthesis, and testing of digital circuits. Generally speaking, a Boolean differential equation (BDE) is an equation in which elements of the BDC appear. It includes variables, functions, and derivative operations of these functions. The solution of such a BDE is a set of Boolean functions. This is a significant extension of Boolean equations, which have sets of Boolean vectors as solutions. In the simplest BDE a derivative operation of the BDC on the left-hand side is equal to a logic function on the right-hand side. The solution of such a simple BDE means to execute an operation which is inverse to the given derivative. BDEs can be applied in the same fields as the BDC, however, their possibility to express sets of Boolean functions extends the application field significantly.
Publisher: Morgan & Claypool Publishers
ISBN: 1627052429
Category : Technology & Engineering
Languages : en
Pages : 160
Book Description
The Boolean Differential Calculus (BDC) is a very powerful theory that extends the structure of a Boolean Algebra significantly. Based on a small number of definitions, many theorems have been proven. The available operations have been efficiently implemented in several software packages. There is a very wide field of applications. While a Boolean Algebra is focused on values of logic functions, the BDC allows the evaluation of changes of function values. Such changes can be explored for pairs of function values as well as for whole subspaces. Due to the same basic data structures, the BDC can be applied to any task described by logic functions and equations together with the Boolean Algebra. The BDC can be widely used for the analysis, synthesis, and testing of digital circuits. Generally speaking, a Boolean differential equation (BDE) is an equation in which elements of the BDC appear. It includes variables, functions, and derivative operations of these functions. The solution of such a BDE is a set of Boolean functions. This is a significant extension of Boolean equations, which have sets of Boolean vectors as solutions. In the simplest BDE a derivative operation of the BDC on the left-hand side is equal to a logic function on the right-hand side. The solution of such a simple BDE means to execute an operation which is inverse to the given derivative. BDEs can be applied in the same fields as the BDC, however, their possibility to express sets of Boolean functions extends the application field significantly.
Analysis of Boolean Functions
Author: Ryan O'Donnell
Publisher: Cambridge University Press
ISBN: 1107038324
Category : Computers
Languages : en
Pages : 445
Book Description
This graduate-level text gives a thorough overview of the analysis of Boolean functions, beginning with the most basic definitions and proceeding to advanced topics.
Publisher: Cambridge University Press
ISBN: 1107038324
Category : Computers
Languages : en
Pages : 445
Book Description
This graduate-level text gives a thorough overview of the analysis of Boolean functions, beginning with the most basic definitions and proceeding to advanced topics.
Lattice Functions and Equations
Author: Sergiu Rudeanu
Publisher: Springer Science & Business Media
ISBN: 9781852332662
Category : Mathematics
Languages : en
Pages : 452
Book Description
One of the chief aims of this self-contained monograph is to survey recent developments of Boolean functions and equations, as well as lattice functions and equations in more general classes of lattices. Lattice (Boolean) functions are algebraic functions defined over an arbitrary lattice (Boolean algebra), while lattice (Boolean) equations are equations expressed in terms of lattice (Boolean) functions. Special attention is also paid to consistency conditions and reproductive general solutions. Applications refer to graph theory, automata theory, synthesis of circuits, fault detection, databases, marketing and others. Lattice Functions and Equations updates and extends the author's previous monograph - Boolean Functions and Equations.
Publisher: Springer Science & Business Media
ISBN: 9781852332662
Category : Mathematics
Languages : en
Pages : 452
Book Description
One of the chief aims of this self-contained monograph is to survey recent developments of Boolean functions and equations, as well as lattice functions and equations in more general classes of lattices. Lattice (Boolean) functions are algebraic functions defined over an arbitrary lattice (Boolean algebra), while lattice (Boolean) equations are equations expressed in terms of lattice (Boolean) functions. Special attention is also paid to consistency conditions and reproductive general solutions. Applications refer to graph theory, automata theory, synthesis of circuits, fault detection, databases, marketing and others. Lattice Functions and Equations updates and extends the author's previous monograph - Boolean Functions and Equations.
Boolean Reasoning
Author: Frank Markham Brown
Publisher: Courier Corporation
ISBN: 0486164594
Category : Mathematics
Languages : en
Pages : 308
Book Description
Concise text begins with overview of elementary mathematical concepts and outlines theory of Boolean algebras; defines operators for elimination, division, and expansion; covers syllogistic reasoning, solution of Boolean equations, functional deduction. 1990 edition.
Publisher: Courier Corporation
ISBN: 0486164594
Category : Mathematics
Languages : en
Pages : 308
Book Description
Concise text begins with overview of elementary mathematical concepts and outlines theory of Boolean algebras; defines operators for elimination, division, and expansion; covers syllogistic reasoning, solution of Boolean equations, functional deduction. 1990 edition.
The Complexity of Boolean Functions
Author: Ingo Wegener
Publisher:
ISBN:
Category : Algebra, Boolean
Languages : en
Pages : 502
Book Description
Publisher:
ISBN:
Category : Algebra, Boolean
Languages : en
Pages : 502
Book Description
Lattice Functions and Equations
Author: Sergiu Rudeanu
Publisher: Springer Science & Business Media
ISBN: 144710241X
Category : Mathematics
Languages : en
Pages : 442
Book Description
One of the chief aims of this self-contained monograph is to survey recent developments of Boolean functions and equations, as well as lattice functions and equations in more general classes of lattices. Lattice (Boolean) functions are algebraic functions defined over an arbitrary lattice (Boolean algebra), while lattice (Boolean) equations are equations expressed in terms of lattice (Boolean) functions. Special attention is also paid to consistency conditions and reproductive general solutions. Applications refer to graph theory, automata theory, synthesis of circuits, fault detection, databases, marketing and others. Lattice Functions and Equations updates and extends the author's previous monograph - Boolean Functions and Equations.
Publisher: Springer Science & Business Media
ISBN: 144710241X
Category : Mathematics
Languages : en
Pages : 442
Book Description
One of the chief aims of this self-contained monograph is to survey recent developments of Boolean functions and equations, as well as lattice functions and equations in more general classes of lattices. Lattice (Boolean) functions are algebraic functions defined over an arbitrary lattice (Boolean algebra), while lattice (Boolean) equations are equations expressed in terms of lattice (Boolean) functions. Special attention is also paid to consistency conditions and reproductive general solutions. Applications refer to graph theory, automata theory, synthesis of circuits, fault detection, databases, marketing and others. Lattice Functions and Equations updates and extends the author's previous monograph - Boolean Functions and Equations.
Logic and Boolean Algebra
Author: Bradford Henry Arnold
Publisher: Courier Corporation
ISBN: 0486483851
Category : Mathematics
Languages : en
Pages : 163
Book Description
Orignally published: Englewood Cliffs, N.J.: Prentice-Hall, 1962.
Publisher: Courier Corporation
ISBN: 0486483851
Category : Mathematics
Languages : en
Pages : 163
Book Description
Orignally published: Englewood Cliffs, N.J.: Prentice-Hall, 1962.