BOOLEAN DIFFERENTIAL EQUATIONS - A COMMON MODEL FOR CLASSES, LATTICES, AND ARBITRARY SETS OF BOOLEAN FUNCTIONS

The Boolean Differential Calculus (BDC) significantly extends the Boolean Algebra because not only Boolean values 0 and 1, but also changes of Boolean valuesor Boolean functions can be described. A Boolean Differential Equation (BDE)is a Boolean equation that includes derivative operations of the Boolean Differential Calculus. This paper aims at the classification of BDEs, the characterization of the respective solutions, algorithms to calculate the solution of a BDE, and selected applications. We will show that not only classes and arbitrary sets of Boolean functions but also lattices of Boolean functions can be expressed by Boolean Differential Equations.In order to reach this aim, we give a short introduction into the BDC, emphasizethe general difference between the solutions of a Boolean equation and a BDE, explain the core algorithms to solve a BDE that is restricted to all vectorial derivatives of f(x) and optionally the Boolean variables. We explain formulas for transforming other derivative operations to vectorial derivatives in order to solve more general BDEs. New fields of applications for BDEs are simple and generalized lattices of Boolean functions. We describe the construction, simplification and solution.The basic operations of XBOOLE are sufficient to solve BDEs. We demonstratehow a XBOOLE-problem program (PRP) of the freely available XBOOLE-Monitorquickly solves some BDEs

Change Actions: Models of Generalised Differentiation

Cai et al. have recently proposed change structures as a semantic framework for incremental computation. We generalise change structures to arbitrary cartesian categories and propose the notion of change action model as a categorical model for (higher-order) generalised differentiation. Change action models naturally arise from many geometric and computational settings, such as (generalised) cartesian differential categories, group models of discrete calculus, and Kleene algebra of regular expressions. We show how to build canonical change action models on arbitrary cartesian categories, reminiscent of the F\`aa di Bruno construction

COMPACT XOR-BI-DECOMPOSITION FOR LATTICES OF BOOLEAN FUNCTIONS

Bi-Decomposition is a powerful approach for the synthesis of multi-level combinational circuits because it utilizes the properties of the given functions to find small circuits, with low power consumption and low delay. Compact bi-decompositions restrict the variables in the support of the decomposition functions as much as possible. Methods to find compact AND-, OR-, or XOR-bi-decompositions for a given completely specified function are well known.Lattices of Boolean Functions significantly increase the possibilities to synthesize a minimal circuit. However, so far only methods to find compact AND- or OR-bidecompositions for lattices of Boolean functions are known. This gap, i.e., a method to find a compact XOR-bi-decomposition for a lattice of Boolean functions, has been closed by the approach suggested in this paper

Development of Boolean calculus and its application

Formal procedures for synthesis of asynchronous sequential system using commercially available edge-sensitive flip-flops are developed. Boolean differential is defined. The exact number of compatible integrals of a Boolean differential were calculated