Boolean Functions and Equations

Boolean Functions and Equations PDF Author: Sergiu Rudeanu
Publisher:
ISBN:
Category : Mathematics
Languages : en
Pages : 472

Get Book Here

Book Description

Boolean Functions and Equations

Boolean Functions and Equations PDF Author: Sergiu Rudeanu
Publisher:
ISBN:
Category : Mathematics
Languages : en
Pages : 472

Get Book Here

Book Description


Boolean Functions

Boolean Functions PDF Author: Yves Crama
Publisher: Cambridge University Press
ISBN: 1139498630
Category : Mathematics
Languages : en
Pages : 711

Get Book Here

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

Boolean Functions and Equations PDF Author: Sergiu Rudeanu
Publisher:
ISBN:
Category : Algebra, Boolean
Languages : en
Pages : 472

Get Book Here

Book Description


Boolean Differential Equations

Boolean Differential Equations PDF Author: Bernd Steinbach
Publisher: Morgan & Claypool Publishers
ISBN: 1627052429
Category : Technology & Engineering
Languages : en
Pages : 160

Get Book Here

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

Analysis of Boolean Functions PDF Author: Ryan O'Donnell
Publisher: Cambridge University Press
ISBN: 1107038324
Category : Computers
Languages : en
Pages : 445

Get Book Here

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

Lattice Functions and Equations PDF Author: Sergiu Rudeanu
Publisher: Springer Science & Business Media
ISBN: 9781852332662
Category : Mathematics
Languages : en
Pages : 452

Get Book Here

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

Boolean Reasoning PDF Author: Frank Markham Brown
Publisher: Courier Corporation
ISBN: 0486164594
Category : Mathematics
Languages : en
Pages : 308

Get Book Here

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

The Complexity of Boolean Functions PDF Author: Ingo Wegener
Publisher:
ISBN:
Category : Algebra, Boolean
Languages : en
Pages : 502

Get Book Here

Book Description


Lattice Functions and Equations

Lattice Functions and Equations PDF Author: Sergiu Rudeanu
Publisher: Springer Science & Business Media
ISBN: 144710241X
Category : Mathematics
Languages : en
Pages : 442

Get Book Here

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

Logic and Boolean Algebra PDF Author: Bradford Henry Arnold
Publisher: Courier Corporation
ISBN: 0486483851
Category : Mathematics
Languages : en
Pages : 163

Get Book Here

Book Description
Orignally published: Englewood Cliffs, N.J.: Prentice-Hall, 1962.