Conversion between Logic and Algebraic Expressions of Boolean Control Networks

Abstract

The conversion between logic and algebraic expressions of Boolean control networks plays a worthy role in the analysis and design of digital circuits. In this paper, for a single Boolean function, a direct conversion between the minterm canonical form and the structure matrix is provided. For a Boolean control network consisting of systems of Boolean functions, two algorithms are developed to achieve the mutual conversion between the logic and algebraic expressions. The presented algorithms decrease exponentially the complexity of the semi-tensor product based method. Some numerical examples are given to demonstrate the algorithms and to compare our method with the existing ones.

1. Introduction

Boolean control network (BCN) is a logical system pioneered by Kauffman in [1] for initially describing genetic regulatory networks, which provides useful modeling tools for dynamical systems whose state-variables take only two values (‘True’ or ‘False’). With the development of information technologies, BCNs have become an effective way to analyze and design circuits by algebraic means in terms of logic gates, and have served as a fundamental approach to digital circuit design, computer programming, and so on (see, e.g., [2,3,4,5,6,7]). With the development of digital circuit, the research on logic synthesis becomes particularly important. Recently, Rushdi and Ahmad [5] used a novel method for obtaining the parametric general solutions of the ‘big’ Boolean equation, which cover the most prominent type among basic problems of digital circuit design. Bandyopadhyay et al. [4] analyzed the effects of different graph-based intermediate representations, inclutding binary decision diagram, and-inverter graph and majority inverter graph, and their usability in making efficient circuit realisations. Wang and Tao [3] introduced the Karnaugh maps of logical systems and used in the analysis and design of clocked sequential circuits and in the simplification of multioutput gate circuits.

In addition to the traditional logical expression, there are some representations to describe dynamics and estimate performances of BCNs. For example, logic differential calculus [8] represents a mathematical methodology developed for analysis of Boolean functions, which enables us to consider the existing estimates of system importance, as well as some additional properties, of BCNs from the unique methodological standpoint (see, e.g., [9,10]).

The semi-tensor product (STP) of matrices is developed in [11] to convert a Boolean function into an algebraic function, and to model a BCN by a standard discrete-time linear system. A comparison of different representations of Boolean functions can be found in [12]. Describing a logical dynamic system as a linear system is useful for studying BCNs in a control-theoretic framework. Examples include the controllability and observability [13,14,15,16], periodicity and stability [17,18,19,20,21,22], optimal control [23,24], identification [25], etc. The computation complexity is a series problem in directly calculating the network transition matrix based on STP, which frames a limitation on the application of algebraic state-space approach. It has been calculated in [3] that the complexity of STP based method is $O\left(2^{6(m+n)}n\right)$. Recently, Sarda et al. [26,27] proposed a Khatri-Rao product based method to transform the logical form of a BCN into a discrete time bilinear system, which has a complexity of $O\left(2^{m+2n}\right)$. In other words, the complexity of the STP based method is $2^{5m+4n}n$ times that of the Khatri-Rao product based method. This paper will provide a constructive and straightforward method with a complexity of $O\left(2^{m+n}n\right)$ to convert the logic expression to the algebraic expression of a BCN. More concretely, the complexity of the STP based method presented in [11] is $2^{5(m+n)}$ times that of the method given in this paper, and the Khatri-Rao product based method presented in [26,27] is $2^n/n$ times that of ours.

For a BCN, converting the algebraic expression into the logic expression is an integral part for learning the logical meaning of the algebraic result from the algebraic expression. In [16], a mechanical procedure is provided to retrieve the logical network and logical dynamic equations from the network matrix of a BCN. The conversion formula given in [16] is an implicit equation, which converts the algebraic expression for a Boolean function into an irregular form of the logic expression. This paper will provide an explicit equation to directly convert the algebraic expression to a canonical form of the logic expression.

The remainder of this paper is organized as follows. Section 2 introduces some basic concepts about the logic and algebraic expressions of Boolean functions. Section 3 gives a conversion between the minterm canonical form and the structure matrix of a Boolean function. The algorithms for conversion between the logic and algebraic expressions of a BCN are presented in Section 4. The conclusions and future works are drawn in Section 5.

2. Preliminaries

This section reviews some basic concepts from Boolean functions and Boolean control networks (see, e.g., [6,7]).

A Boolean function is a function of the form

$$f:{\Delta }^n\to \Delta ,$$

(1)

where $\Delta =\{\mathrm{True},\mathrm{False}\}$ is the logical domain and n is the arity of the function. Any logical function with n variables can be expressed as a propositional formula in variables $x_1,x_2,\dots ,x_n$. For simplicity, the logical disjunction $x\vee y$, conjunction $x\wedge y$ and negation $\neg x$ are denoted by $x+y$, $xy$ and $\overline{x}$, respec- tively.

A truth table specifies the values of a Boolean function for every possible combination of values of the variables in the function. Label the rows of the truth table of Boolean function (1) by $0,1,\dots ,2^n-1$, respectively, and denote by $s_i$ the function value in the row i of the truth table, where $i\in \{0,1,\dots ,2^n-1\}$.

A minterm of n variables is a product of n literals in which each variable appears exactly once in either true or complemented form, but not both. The minterm which corresponds to the row i of truth table is designated as $m_i$. Boolean function (1) can uniquely be written as a sum of minterms, i.e.,

$$\begin{array}{cc}\hfill f(x_1,x_2,\dots ,x_n)& =m_{i_1}+m_{i_2}+\cdots +m_{i_k}:=\sum m(i_1,i_2,\dots ,i_k),\hfill \end{array}$$

(2)

which is called the minterm canonical form of f.

Definition 1

([11]). For $A\in {\mathbb{R}}^{m\times n}$ and $B\in {\mathbb{R}}^{p\times q}$, the semi-tensor product (STP) of A and B is defined as

$$A⋉B=(A\otimes I_{\alpha /n})\times (B\otimes I_{\alpha /p}),$$

where α is the least common multiple of n and p, I is the identity matrix, ⊗ and × are the Kronecker product and conventional product of matrices, respectively.

The STP has left-right dual forms. The STP mentioned in this paper is the left one. Using STP, a Boolean function can be converted into an algebraic form. Denote by ${\delta }_n^j$ the j-th column of identity matrix $I_n$, where $j\in \{1,2,\dots ,n\}$. Remi-tensor product (STP) of A and B is defined a “True” and “False” by

$${\delta }_2^1=\left(\begin{array}{c}1\\ 0\end{array}\right)\mathrm{and}{\delta }_2^2=\left(\begin{array}{c}0\\ 1\end{array}\right),$$

respectively. Then, Boolean function (1) can be equivalently represented as

$$f:{\{{\delta }_2^1,{\delta }_2^2\}}^n\to \{{\delta }_2^1,{\delta }_2^2\}.$$

For the sake of brevity, a matrix of the form $[{\delta }_n^{j_1}{\delta }_n^{j_2}\dots {\delta }_n^{j_k}]$ is briefly denoted by ${\delta }_n[j_1,j_2,\dots ,j_k]$.

Lemma 1

([11]). For Boolean function (1), there exists a unique binary matrix $M_f\in {\{0,1\}}^{2\times 2^n}$ such that

$$f(x_1,x_2,\dots ,x_n)=M_f⋉x_1⋉x_2⋉\cdots ⋉x_n,$$

(3)

in which $M_f$ is called the structure matrix of f.

A Boolean network (BN) with n variables is described as

$$\left\{\begin{array}{ccc}{x}_1(t+1)\hfill & =\hfill & f_1(x_1\left(t\right),x_2\left(t\right),\dots ,x_n\left(t\right)),\hfill \\ x_2(t+1)\hfill & =\hfill & f_2(x_1\left(t\right),x_2\left(t\right),\dots ,x_n\left(t\right)),\hfill \\ ⋮\hfill \\ x_n(t+1)\hfill & =\hfill & f_n(x_1\left(t\right),x_2\left(t\right),\dots ,x_n\left(t\right)),\hfill \end{array}\right.$$

(4)

where $f_j(j\in \{1,2,\dots ,n\})$ are Boolean functions, and $x_j(·)\in \{0,1\}(j\in \{1,2,\dots ,n\})$ are states.

Lemma 2

([11]). Let $x\left(t\right)={⋉}_{j=1}^n{x}_j\left(t\right)\in {\{0,1\}}^{2^n}$. Then, there exists a unique matrix $L\in {\{0,1\}}^{2^n\times 2^n}$ such that BN (4) can be converted into a standard discrete-time dynamic system

$$x(t+1)=L⋉x\left(t\right),t=0,1,\cdots ,$$

(5)

where L is called the state transition matrix of BN (4).

A Boolean control network (BCN) with m inputs and p outputs is described as

$$\left\{\begin{array}{ccc}\hfill x_1(t+1)& =& f_1(x_1\left(t\right),\dots ,x_n\left(t\right),u_1\left(t\right),\dots ,u_m\left(t\right)),\hfill \\ \hfill ⋮\\ \hfill x_n(t+1)& =& f_n(x_1\left(t\right),\dots ,x_n\left(t\right),u_1\left(t\right),\dots ,u_m\left(t\right)),\hfill \\ \hfill y_1\left(t\right)& =& g_1(x_1\left(t\right),\dots ,x_n\left(t\right)),\hfill \\ \hfill ⋮\\ \hfill y_p\left(t\right)& =& g_p(x_1\left(t\right),\dots ,x_n\left(t\right)),\hfill \end{array}\right.$$

(6)

where $f_j(j\in \{1,2,\dots ,n\})$ and $g_r(r\in \{1,2,\dots ,p\})$ are Boolean functions, $x_j(·)(j\in \{1,2,\dots ,n\})$ are states, $u_k(·)(k\in \{1,2,\dots ,m\})$ are inputs and $y_r(·)(r\in \{1,2,\dots ,p\})$ are outputs. Denote by $N_{\mathrm{in}}$ the network of states and inputs, and by $N_{\mathrm{out}}$ the network of states and outputs.

Since the dynamics of a BCN is composed of a set of Boolean functions, the STP can be used to establish the algebraic expression of BCN (6) as follows:

$$\left\{\begin{array}{ccc}\hfill x(t+1)& =& L⋉x\left(t\right)⋉u\left(t\right),\hfill \\ \hfill y\left(t\right)& =& H⋉x\left(t\right),\hfill \end{array}\right.$$

(7)

where $x\left(t\right)={⋉}_{j=1}^n{x}_j\left(t\right)\in {\{0,1\}}^{2^n}$ is state vector, $u\left(t\right)={⋉}_{k=1}^m{u}_k\left(t\right)\in {\{0,1\}}^{2^m}$ and $y\left(t\right)=$ ${⋉}_{r=1}^p{y}_r\left(t\right)\in {\{0,1\}}^{2^p}$ are input and output vectors, respectively, $L\in {\{0,1\}}^{2^n\times 2^{m+n}}$ is the control-depending network transition matrix, $H\in {\{0,1\}}^{2^p\times 2^n}$ is the transition matrix from $x\left(t\right)$ to $y\left(t\right)$ (see, e.g., [21,22,23]).

The STP based method has been presented in ([11], Theorem IV.6) for obtaining the algebraic expression of BCNs by introducing the swap matrix, dummy matrix and power reducing matrix, which has a very high computational complexity of $O\left(2^{6(m+n)}n\right)$ (see [3], Theorem 1). Resently, Sarda et al. [26,27] proposed a Khatri-Rao product based method to obtain such an algebraic expression.

Definition 2

([28]). For $A\in {\mathbb{R}}^{m\times p}$ and $B\in {\mathbb{R}}^{n\times p}$, the Khatri-Rao product of A and B is defined to be a partitioned matrix of order $mn\times p$ as follows:

$$A\ast B=[A_1\otimes B_1{A}_2\otimes B_2\cdots A_p\otimes B_p],$$

where $A_r$ (resp. $B_r$) $(r\in \{1,2,\dots ,p\left\}\right)$ is the r-th column of A (resp. B), and ⊗ is the Kronecker product of matrices.

Lemma 3

([26,27]). For BCN (6), the control-depending network transition matrix is $L={\ast }_{j=1}^n{M}_j^{\mathrm{in}}$, and the transition matrix from $x\left(t\right)$ to $y\left(t\right)$ is $H={\ast }_{r=1}^p{M}_r^{\mathrm{out}}$, where $M_j^{\mathrm{in}}$ and $M_r^{\mathrm{out}}$ are the structure matrices of $f_j$ and $g_r$, respectively.

It is known that at most $mnp$ multiplication operations are requited to compute the Khatri-Rao product of two matrices with sizes of $m\times p$ and $n\times p$. Then, at most $2^n{2}^{m+n}=2^{m+2n}$ (resp. $2^p{2}^n=2^{n+p}$) operations are requited to compute the transition matrix L (resp. H) by using the lemma above. Hence, the computational complexity of Lemma 3 is $O\left(2^{m+2n}\right)$, which decreases exponentially that of the STP based method. Quantitatively, the complexity of the STP based method is $2^{5m+4n}n$ times that of the Khatri-Rao product based method. This paper will provide a method with a much lower complexity.

3. Conversion of Expressions of Boolean Functions

This section presents a direct conversion between the minterm canonical form and the structure matrix of a Boolean function.

3.1. From Logic Expression to Algebraic Expression

There exists a one-to-one correspondence between the truth table and the structure matrix of a Boolean function.

Lemma 4

([29]). If the truth table of Boolean function (1) is ${(s_0{s}_1\dots s_{2^n-1})}^{⊺}$, then the structure matrix of f is

$$M_f=\left[\begin{array}{cccc}{s}_{2^n-1}& \dots & s_1& s_0\\ 1-s_{2^n-1}& \dots & 1-s_1& 1-s_0\end{array}\right].$$

The structure matrix of a Boolean function can be constructed from the minterm canonical form.

Theorem 1.

If the minterm canonical form of Boolean function (1) is shown in (2), then the structure matrix of f is

$$M_f={\delta }_2[c_{2^n-1},\dots ,c_1,c_0],$$

(8)

where

$$c_i=\left\{\begin{array}{cc}1,\hfill & i\in \{i_1,i_2,\dots ,i_k\},\hfill \\ 2,\hfill & i\in \{0,1,\dots ,2^n-1\}\setminus \{i_1,i_2,\dots ,i_k\}.\hfill \end{array}\right.$$

Proof. 

The minterms presented in (2) are in one-to-one correspondence with the logical value 1 in the truth table. Suppose that the truth table of f is ${(s_0{s}_1\dots s_{2^n-1})}^{⊺}$. Then $s_i=1$ if and only if $m_i$ is a minterm of f, i.e., $i\in \{i_1,i_2,\dots ,i_k\}$. It follows from Lemma 4 that $c_i=1$ if and only if $s_i=1$. Hence, $c_i=1$ if and only if $i\in \{i_1,i_2,\dots ,i_k\}$.  □

Let us compute the structure matrix of the Boolean function given in ([29], Example 2.5) using Theorem 1.

Example 1.

Consider the Boolean function

$$\begin{array}{c}\hfill f(x_1,x_2,x_3)=(x_1\leftrightarrow \neg x_2)\wedge (x_2\leftrightarrow \neg x_3)\wedge (x_3\leftrightarrow \neg x_1\wedge \neg x_2).\end{array}$$

The minterm canonical form of f is $m_2(={\overline{x}}_1{x}_2{\overline{x}}_3).$ Then, in (8),

$$c_i=\left\{\begin{array}{cc}1,\hfill & i=2,\hfill \\ 2,\hfill & i\in \{1,3,4,5,6,7,8\}.\hfill \end{array}\right.$$

Hence, the structure matrix of f is $M_f={\delta }_2[2,2,2,2,2,1,2,2].$

Comparing the above example with ([29], Example 2.5), the method based on the minterm canonical form can avoid the complex calculations of STP.

3.2. From Algebraic Expression to Logic Expression

After studying a logical dynamic system in the algebraic state space, it is necessary to convert the algebraic expression back to the logic expression in order to design digital circuits to implement the desired control functions (see, e.g., [3,5]). For a Boolean function, it is claimed in [16] that ‘converting an algebraic form back to logical form is not an easy job’, and a ‘mechanical procedure’ is provided for converting the algebraic expression back to the logic expression as below.

Lemma 5

([16]). If Boolean function (1) has an algebraic expression as (3), then

$$f(x_1,x_2,\dots ,x_n)=[x_1\wedge f_1(x_2,\dots ,x_n)]\vee [\neg x_1\wedge f_2(x_2,\dots ,x_n)],$$

(9)

where $M_f=\left(M_{f_1}\right|M_{f_2})$, i.e., the structure matrices of $f_1$ and $f_2$ are the first and last half of $M_f$, respectively.

It can be seen that Equation (9) is implicit, which converts the algebraic expression of a Boolean function into an irregular form of the logic expression. In fact, the minterm canonical form of a Boolean function can directly be obtained from the structure matrix.

Theorem 2.

If the structure matrix of Boolean function (1) is shown in (8), then the minterm canonical form of f is

$$f(x_1,x_2,\dots ,x_n)=\sum _{i\in \mathbf{S}}{m}_i,$$

(10)

where $\mathbf{S}=\{i\in \{0,1,\dots ,2^n-1\}|c_i=1\}.$

Proof. 

Suppose that the truth table of f is ${(s_0{s}_1\dots s_{2^n-1})}^{⊺}$. By Lemma 4,

$$\begin{array}{cc}\hfill \mathbf{S}& =\left\{i\right|c_i=1\}=\left\{i\right|s_i=1\}=\left\{i\right|m_i\mathrm{is}\mathrm{a}\mathrm{minterm}\mathrm{of}f\}.\hfill \end{array}$$

Then, the minterm canonical form of f is (10).  □

In contrast to the implicit Equation (9) given in Lemma 5, Equation (10) presented in Theorem 2 is explicit, by which the algebraic expression is directly converted into a canonical form of the logic expression. Let us compute the minterm canonical form of the Boolean function whose structure matrix is given in ([16], Example 6) using Theorem 2.

Example 2.

Consider the Boolean function f with structure matrix

$$M_f={\delta }_2[1,2,2,1,2,1,2,1,1,1,2,2,2,1,1,2].$$

In (8), $c_1=c_2=c_6=c_7=c_8=c_{10}=c_{12}=c_{15}=1.$ By (10), the minterm canonical form of f is

$$f(x_1,x_2,x_3,x_4)=\sum m(1,2,6,7,8,10,12,15).$$

Furthermore, the minimization form of f is

$$f(x_1,x_2,x_3,x_4)=x_1{\overline{x}}_3{\overline{x}}_4+x_2{x}_3{x}_4+{\overline{x}}_1{x}_3{\overline{x}}_4+{\overline{x}}_2{x}_3{\overline{x}}_4+{\overline{x}}_1{\overline{x}}_2{\overline{x}}_3{x}_4.$$

Comparing the above example with ([16], Example 6), the explicit equation makes the conversion straightforward. Moreover, given the truth table of a Boolean function, it is possible to write the function as various propositional formulas with irregular forms, while the minterm canonical form is unique up to the order of minterms.

4. Conversion of Expressions of Boolean Control Networks

This section extends the presented approach to Boolean control networks to achieve the mutual conversion between logic and algebraic expressions.

4.1. From Logic Expression to Algebraic Expression

A method for computing the next state of BN (4) is provided in [3] based on the algebraic expression as below.

Lemma 6

([3]). For BN (5), if $x\left(t\right)={\delta }_{2^n}^{2^n-i}$, then $x(t+1)=L⋉{\delta }_{2^n}^{2^n-i}={\delta }_{2^n}^{2^n-c_i}$, where

$$c_i=\sum _{j=1}^n{s}_i^{\left(j\right)}\times 2^{n-j},i=0,1,\cdots ,2^n-1,$$

and $s_i^{\left(j\right)}$ is the function value in the row i of the truth table of $f_j$.

The lemma above can be extend to BCNs for converting the logic expression into the algebraic expression.

Theorem 3.

For BCN (6), let $c_i$ be defined by

$$c_i=\sum _{j=1}^n{s}_i^{\left(j\right)}\times 2^{n-j},i=0,1,\dots ,2^{m+n}-1,$$

(11)

where $s_i^{\left(j\right)}$ is the function value in the row i of the truth table of $f_j$. Then, the transition matrix of $N_{\mathrm{in}}$ is

$$\begin{array}{cc}\hfill L& ={\delta }_{2^n}[2^n-c_{2^{m+n}-1},\dots ,2^n-c_1,2^n-c_0].\hfill \end{array}$$

(12)

In the theorem above, it can be seen that $c_i$ is the decimal representation of the n-bit binary number whose jth bit code is $s_i^{\left(j\right)}$.

Proof. 

Let L be the transition matrix of $N_{\mathrm{in}}$ and $x\left(t\right)⋉u\left(t\right)={\delta }_{2^n}^{2^n-i}$. It can be inferred from (7) and Lemma 6 that

$$x(t+1)=L⋉x\left(t\right)⋉u\left(t\right)=L⋉{\delta }_{2^n}^{2^n-i}={\delta }_{2^n}^{2^n-c_i}.$$

This implies that the $(i+1)$th column of L from right is ${\delta }_{2^n}^{2^n-c_i}$, i.e., L is equal to (12).  □

The following lemma for constructing the transition matrix of $N_{\mathrm{out}}$ can be obtained in almost the same way.

Theorem 4.

For BCN (6), let ${\tilde{c}}_i$ be defined by

$$\begin{array}{cc}\hfill {\tilde{c}}_i& =\sum _{r=1}^p{\tilde{s}}_i^{\left(r\right)}\times 2^{p-r},i=0,1,\dots ,2^n-1,\hfill \end{array}$$

(13)

where ${\tilde{s}}_i^{\left(r\right)}$ is the function value in the row i of the truth table of $g_r$. Then, the transition matrix of $N_{\mathrm{out}}$ is

$$\begin{array}{cc}\hfill H& ={\delta }_{2^p}[2^p-{\tilde{c}}_{2^n-1},\dots ,2^p-{\tilde{c}}_1,2^p-{\tilde{c}}_0].\hfill \end{array}$$

(14)

The following algorithm for converting the logic expression to the algebraic expression of a BCN can then be developed.

Next, let us consider the computational complexity of Algorithm 1 starting from the minterm canonical form.

Algorithm 1 Algorithm for converting the logic expression to the algebraic expression of BCN (6).

Input: Logic expression of $N_{\mathrm{in}}$ (resp. $N_{\mathrm{out}}$).

Output: Transition matrix L (resp. H).

Setp 1. For $N_{\mathrm{in}}$, construct the truth table of $f_j$ for each $j\in \{1,2,$ $\dots ,n\}$, which is denoted by $${(s_0^{\left(j\right)}{s}_1^{\left(j\right)}\dots s_{2^{m+n}-1}^{\left(j\right)})}^{⊺}.$$

Setp 2. Compute $c_i$ by Formula (11).

Setp 3. The control-depending network transition matrix is given in (12).

Setp 4. For $N_{\mathrm{out}}$, construct the truth table of $g_r$ for each $r\in \{1,2,\dots ,p\}$, which is denoted by $${({\tilde{s}}_0^{\left(r\right)}{\tilde{s}}_1^{\left(r\right)}\dots {\tilde{s}}_{2^n-1}^{\left(r\right)})}^{⊺}.$$

Setp 5. Compute ${\tilde{c}}_i$ by Formula (13).

Setp 6. The transition matrix from $x\left(t\right)$ to $y\left(t\right)$ is given in (14).

Theorem 5.

Algorithm 1 has a complexity of $O\left(2^{m+n}n\right)$.

Proof. 

In Step 1 (resp. Step 4), the truth tables of $f_j$ (resp. $g_r$) can be obtained directly from their minterm canonical forms without any calculation. In Step 2, the computation cost of $c_i$ is one exponent and n multiplication together with $n-1$ addition. Hence, the number of operations of Step 2 is at most $2n\times 2^{m+n}=2^{m+n+1}n.$ Step 3 requires $2^{m+n}$ subtraction operations to compute the transition matrix L. Hence, the computation cost of $N_{\mathrm{in}}$ is $2^{m+n+1}n+2^{m+n}=2^{m+n}(2n+1).$ Similarly, the computation cost of ${\tilde{c}}_i$ is $2p$, and hence the number of operations of Step 5 is at most $2p\times 2^n=2^{n+1}p$. Step 6 requires $2^n$ subtraction operations to compute the transition matrix H. Hence, the computation cost of $N_{\mathrm{out}}$ is $2^{n+1}p+2^n=2^n(2p+1).$ Therefore, the computational complexity of Algorithm 1 is $O\left(2^{m+n}n\right)$.  □

The STP based method presented in ([11], Theorem IV.6) and the Khatri-Rao product based method stated in Lemma 3 convert the logic expression into the algebraic expression of BCN (6) starting from the structure matrices, while Algorithm 1 starting from the minterm canonical form. It can be seen from Theorems 1 and 2 that the conversion between the minterm canonical form and the structure matrix of a logical function does not need any calculation. This implies that Algorithm 1, Lemma 3 and ([11], Theorem IV.6) can be viewed as starting from the same point. Then, the computational complexity of the STP and Khatri-Rao product based methods are $2^{5(m+n)}$ and $2^n/n$ times that of Algorithm 1, respectively.

Let us illustrate Algorithm 1 with the following example.

Example 3.

For the BCN depicted in Figure 1, the logical dynamic equations are

$$\left\{\begin{array}{ccc}\hfill x_1(t+1)& =& x_2\left(t\right)u_1\left(t\right),\hfill \\ \hfill x_2(t+1)& =& {\overline{u}}_2\left(t\right),\hfill \\ \hfill x_3(t+1)& =& x_1\left(t\right)+x_2\left(t\right),\hfill \\ \hfill y_1\left(t\right)& =& {\overline{x}}_3\left(t\right).\hfill \end{array}\right.$$

(15)

Let us give the algebraic expression of such a BCN using Algorithm 1.

Figure 1. Boolean control network.

Step 1.

For $N_{\mathrm{in}}$, the truth table of $f_j$ for each $j\in \{1,2,3\}$ is listed in Table 1.

Table 1. Truth table relative to $N_{\mathrm{in}}$ (The indexed parameters a and b given together with other parameters are needed only further for Algorithm 2).

$\mathit{i}$	${\mathit{x}}_{\mathbf{1}}$	${\mathit{x}}_{\mathbf{2}}$	${\mathit{x}}_{\mathbf{3}}$	${\mathit{u}}_{\mathbf{1}}$	${\mathit{u}}_{\mathbf{2}}$	${\mathit{f}}_{\mathbf{1}}$	${\mathit{f}}_{\mathbf{2}}$	${\mathit{f}}_{\mathbf{3}}$	${\mathit{c}}_{\mathit{i}}$
						${\mathit{b}}_{\mathbf{1}\mathit{i}}$	${\mathit{b}}_{\mathbf{2}\mathit{i}}$	${\mathit{b}}_{\mathbf{3}\mathit{i}}$	${\mathit{a}}_{\mathit{i}}$
0	0	0	0	0	0	0	1	0	2
1	0	0	0	0	1	0	0	0	0
2	0	0	0	1	0	0	1	0	2
3	0	0	0	1	1	0	0	0	0
4	0	0	1	0	0	0	1	0	2
5	0	0	1	0	1	0	0	0	0
6	0	0	1	1	0	0	1	0	2
7	0	0	1	1	1	0	0	0	0
8	0	1	0	0	0	0	1	1	3
9	0	1	0	0	1	0	0	1	1
10	0	1	0	1	0	1	1	1	7
11	0	1	0	1	1	1	0	1	5
12	0	1	1	0	0	0	1	1	3
13	0	1	1	0	1	0	0	1	1
14	0	1	1	1	0	1	1	1	7
15	0	1	1	1	1	1	0	1	5
16	1	0	0	0	0	0	1	1	3
17	1	0	0	0	1	0	0	1	1
18	1	0	0	1	0	0	1	1	3
19	1	0	0	1	1	0	0	1	1
20	1	0	1	0	0	0	1	1	3
21	1	0	1	0	1	0	0	1	1
22	1	0	1	1	0	0	1	1	3
23	1	0	1	1	1	0	0	1	1
24	1	1	0	0	0	0	1	1	3
25	1	1	0	0	1	0	0	1	1
26	1	1	0	1	0	1	1	1	7
27	1	1	0	1	1	1	0	1	5
28	1	1	1	0	0	0	1	1	3
29	1	1	1	0	1	0	0	1	1
30	1	1	1	1	0	1	1	1	7
31	1	1	1	1	1	1	0	1	5

Step 2.

By (11), $c_i(i\in \{0,1,\dots ,31\})$ is presented in the last column of Table 1.

Step 3.

By (12), the control-depending network transition matrix is

$$\begin{array}{cc}\hfill L={\delta }_8[& 3,1,7,5,3,1,7,5,7,5,7,5,7,5,7,5,3,1,7,5,3,1,7,5,8,6,8,6,8,6,8,6].\hfill \end{array}$$

(16)

Step 4.

For $N_{\mathrm{out}}$, the truth table of $g_1$ is given in Table 2.

Table 2. Truth table relative to $N_{\mathrm{out}}$ (The indexed parameters $\tilde{a}$ and $\tilde{b}$ given together with other parameters are needed only further for Algorithm 2).

$\mathit{i}$	${\mathit{x}}_{\mathbf{1}}$	${\mathit{x}}_{\mathbf{2}}$	${\mathit{x}}_{\mathbf{3}}$	${\mathit{g}}_{\mathbf{1}}$	${\tilde{\mathit{c}}}_{\mathit{i}}$
				${\tilde{\mathit{b}}}_{\mathbf{1}\mathit{i}}$	${\tilde{\mathit{a}}}_{\mathit{i}}$
0	0	0	0	1	1
1	0	0	1	0	0
2	0	1	0	1	1
3	0	1	1	0	0
4	1	0	0	1	1
5	1	0	1	0	0
6	1	1	0	1	1
7	1	1	1	0	0

Step 5.

By (13), ${\tilde{c}}_i(i\in \{0,1,\dots ,7\})$ is presented in the last column of Table 2.

Step 6.

By (14), the transition matrix from $x\left(t\right)$ to $y\left(t\right)$ is

$$H={\delta }_2[2,1,2,1,2,1,2,1].$$

(17)

Hence, the algebraic expression of BCN (15) is

$$\left\{\begin{array}{ccc}\hfill x(t+1)& =& L⋉x\left(t\right)⋉u\left(t\right),\hfill \\ \hfill y\left(t\right)& =& H⋉x\left(t\right),\hfill \end{array}\right.$$

(18)

where transition matrices L and H are given in (16) and (17), respectively.

Algorithm 2 Algorithm for converting the algebraic expression back to the logic expression of BCN (7).

Input: Transition matrix L (resp. H).

Output: Logic expression of $N_{\mathrm{in}}$ (resp. $N_{\mathrm{out}}$). Step 1. For $N_{\mathrm{in}}$, let $L={\delta }_{2^n}[l_1,l_2,\dots ,l_{2^{m+n}}],$ where $l_v\in \{1,2,\dots ,2^n\}$ represents the vth column of transition matrix L and $v\in \{1,2,\dots ,2^{m+n}\}$. Let $a_i$ be defined by $$a_i=2^n-l_{2^{m+n}-i},i=0,1,\dots ,2^{m+n}-1.$$ (19) In fact, $a_i$ is constructed by conversely applying (12), which has the same value as $c_i$. Step 2. Denote by $b_{ji}$ the jth bit code of the binary representation of decimal number $a_i$, where $i\in$ $\{0,1,\dots ,$ $2^{m+n}-1\}$ and $j\in \{1,2,\dots ,n\}$. In fact, $b_{ji}$ is obtained by conversely applying (11), which has the same value as $s_i^{\left(j\right)}$. Step 3. Construct the minterm canonical form of $f_j$ for each $j\in \{1,2,\dots ,n\}$ as follows: $$f_j(x_1,\dots ,x_n,u_1,\dots ,u_m)=\sum _{i\in {\mathbf{S}}_j}{m}_i,$$ where ${\mathbf{S}}_j=\{i\in \{0,1,\dots ,2^{m+n}-1\}|b_{ji}=1\}$. Step 4. For $N_{\mathrm{out}}$, let $H={\delta }_{2^p}[h_1,h_2,\dots ,h_{2^n}],$ where $h_v\in \{1,2,\dots ,2^n\}$ represents the vth column of transition matrix H and $v\in \{1,2,\dots ,2^n\}$. Let ${\tilde{a}}_i$ be defined by $${\tilde{a}}_i=2^p-h_{2^n-i},i=0,1,\dots ,2^n-1.$$ (20) In fact, ${\tilde{a}}_i$ is constructed by conversely applying (14), which has the same value as ${\tilde{c}}_i$. Step 5. Denote by ${\tilde{b}}_{ri}$ the rth bit code of the binary representation of decimal number ${\tilde{a}}_i$, where $i\in$ $\{0,1,\dots ,2^n-1\}$ and $r\in \{1,2,\dots ,p\}$. In fact, ${\tilde{b}}_{ri}$ is obtained by conversely applying (13), which has the same value as ${\tilde{s}}_i^{\left(r\right)}$. Step 6. Construct the minterm canonical form of $g_r$ for each $r\in \{1,2,\dots ,p\}$ as follows: $$g_r(x_1,x_2,\dots ,x_n)=\sum _{i\in {\tilde{\mathbf{S}}}_r}{m}_i,$$ where ${\tilde{\mathbf{S}}}_r=\{i\in \{0,1,\dots ,2^n-1\}|{\tilde{b}}_{ri}=1\}$.

4.2. From Algebraic Expression to Logic Expression

The logical networks $N_{\mathrm{in}}$ and $N_{\mathrm{out}}$ can be reconstructed from the algebraic expression (7) through conversely applying Algorithm 1.

Let us illustrate the algorithm above with the following example.

Example 4.

Reconstruct the logic network of BCN (18).

Step 1.

Calculate $a_i$ for each $i\in \{0,1,$ $\dots ,31\}$ by (19), which is presented in the last column of Table 1.

Step 2.

Through the decimal-binary conversion, one can calculate $b_{ji}$ for each $i\in \{0,1,\dots ,31\}$ and $j\in \{1,2,3\}$, which is presented in Table 1.

Step 3.

Let

$$\begin{array}{cc}\hfill {\mathbf{S}}_1& =\{i\in \{0,1,\dots ,31\}|b_{1i}=1\}=\{10,11,14,15,26,27,30,31\},\hfill \\ \hfill {\mathbf{S}}_2& =\{i\in \{0,1,\dots ,31\}|b_{2i}=1\}=\{0,2,4,\dots ,30\},\hfill \\ \hfill {\mathbf{S}}_3& =\{i\in \{0,1,\dots ,31\}|b_{3i}=1\}=\{8,9,10,\dots ,31\}.\hfill \end{array}$$

Then, the logic expression of $N_{\mathrm{in}}$ is

$$\left\{\begin{array}{c}{x}_1(t+1)=\sum _{i\in {\mathbf{S}}_1}{m}_i=x_2\left(t\right)u_1\left(t\right),\hfill \\ x_2(t+1)=\sum _{i\in {\mathbf{S}}_2}{m}_i={\overline{u}}_2\left(t\right),\hfill \\ x_3(t+1)=\sum _{i\in {\mathbf{S}}_3}{m}_i=x_1\left(t\right)+x_2\left(t\right).\hfill \end{array}\right.$$

Step 4.

Calculate ${\tilde{a}}_i$ for each $i\in \{0,1,\dots ,7\}$ by (20), which is presented in the last column of Table 2.

Step 5.

Through the decimal-binary conversion, one can calculate ${\tilde{b}}_{1i}$ for each $i\in \{0,1,\dots ,7\}$, which is presented in Table 2.

Step 6.

Let

$${\tilde{\mathbf{S}}}_1=\{i\in \{0,1,\dots ,7\}|{\tilde{b}}_{1i}=1\}=\{0,2,4,6\}.$$

Then, the logic expression of $N_{\mathrm{out}}$ is

$$y_1\left(t\right)=\sum _{i\in {\tilde{\mathbf{S}}}_1}{m}_i={\overline{x}}_3\left(t\right).$$

Hence, the logic expression of BCN (18) is (15), whose logical network is shown in Figure 1.

5. Conclusions

This paper provides an elementary method to achieve the mutual conversion between the logic and algebraic expressions of Boolean functions and Boolean control networks, which are converted by developing two algorithms. The presented method has several advantages comparing with the existing works. Firstly, the computational complexity is reduced. The complexity of the STP based method is quantitatively $2^{5(m+n)}$ times that of the method given in this paper. Secondly, the conversion formula is explicit and analytical. Thirdly, the algebraic expression is uniquely converted into the minterm canonical form of logic expression. Finally, the conversion algorithm is reversible, which means that both two sides of the problem for mutual conversion between logic and algebraic expressions can be solved by using a uniform approach. These advantages should be also convenient for investigating some control problems of Boolean control networks, such as the stability, controllability and observability, which are worth studying and exploring in the future work.