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. This self-contained monograph surveys recent developments of Boolean functions and equations, as...

Ausführliche Beschreibung

Bibliographische Detailangaben

1. Verfasser:	Rudeanu, Sergiu (VerfasserIn)
Format:	Elektronisch E-Book
Sprache:	English
Veröffentlicht:	London Springer London 2001
Ausgabe:	1st ed. 2001
Schriftenreihe:	Discrete Mathematics and Theoretical Computer Science
Schlagworte:	Algebra Algorithm Analysis and Problem Complexity Mathematical Logic and Formal Languages Algorithms Mathematical logic Boolesche Gleichung Boolesche Funktion
Online-Zugang:	UBY01 Volltext
Zusammenfassung:	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. This self-contained monograph surveys recent developments of Boolean functions and equations, as well as lattice functions and equations in more general classes of lattices; a special attention is paid to consistency conditions and reproductive general solutions. The contents include: - equational compactness in semilattices and Boolean algebras; - the theory of Post functions and equations (which is very close to that of Boolean functions and equations); - a revision of Boolean fundamentals; - closure operators on Boolean functions; - the decomposition of Boolean functions; - quadratic truth equations; - Boolean differential calculus; - Boolean geometry and other topics. There is also a chapter on equations in a very general sense. Applications refer to graph theory, automata theory, synthesis of circuits, fault detection, databases, marketing and others
Beschreibung:	1 Online-Ressource (XI, 435 p. 1 illus)
ISBN:	9781447102410
DOI:	10.1007/978-1-4471-0241-0