The paper describes a spectral method for combinational logic synthesis using the Walsh transform and the Reed-Muller form. A new algorithm is presented that allows us to obtain the mixed polarity Reed-Muller expansion of Boolean functions. The most popular minimisation (sub-minimisation) criterion of the Reed-Muller form is obtained by the exhaustive search of all the polarity vectors. This paper presents a non-exhaustive method for Reed-Muller expansions. The new method allows us to build the...

In this paper we investigate the Boolean functions with maximum essential arity gap. Additionally we propose a simpler proof of an important theorem proved by M. Couceiro and E. Lehtonen in [3]. They use Zhegalkin’s polynomials as normal forms for Boolean functions and describe the functions with essential arity gap equals 2. We use to instead Full Conjunctive Normal Forms of these polynomials which allows us to simplify the proofs and to obtain several combinatorial results concerning the Boolean functions...

Let $𝕋$ be a periodic time scale. The purpose of this paper is to use a modification of Krasnoselskii’s fixed point theorem due to Burton to prove the existence of periodic solutions on time scale of the nonlinear dynamic equation with variable delay $x^{▵}\left(t\right)=-a\left(t\right)h\left(x^{\sigma }\left(t\right)\right)+c\left(t\right)x^{\widetilde{▵}}\left(t-r\left(t\right)\right)+G\left(t,x\left(t\right),x\left(t-r\left(t\right)\right)\right)$, $t\in 𝕋$, where $f^{▵}$ is the $▵$-derivative on $𝕋$ and $f^{\widetilde{▵}}$ is the $▵$-derivative on $(id-r)\left(𝕋\right)$. We invert the given equation to obtain an equivalent integral equation from which we define a fixed point mapping written as a sum of a large contraction and a compact map. We show...