Properties of self-dual and self-complementary dual functions are discussed. Necessary and sufficient conditions of selfdual and self-complementary dual functions are obtained in terms of the multithreshold weight threshold vector. In particular self-dual and self-complementary dual functions are shown to be realizable respectively by an odd and even number of effective thresholds only. A threshold, Tj, is effective if EMIN ≪ Tj ≪ EMAX. It is shown that an n+1 variable self-dual and self-complementary dual function can always be generated from a 1- and 2-effective threshold weight threshold vector of an n-variable Boolean function, respectively. If the number of effective thresholds exceeds 2, then constraints on the thresholds must be met in order to generate n+1 variable self-dual and self-complementary dual functions. Such generations of self-dual and self-cornplementary dual functions are shown to correspond to the functional forms of self-dualization and self-complementary dualization of an n-variable Boolean function. Moreover, they are realized by the same threshold vector, T $\rarr$;. Furthemore, it is shown that if an n-variable Boolean function Fn(X$\rarr$) is self-dual or self-complementary dual with weight threshold vector [Wn$\rarr$; T$\rarr$], then an n+m variable self-dual or self-complementary dual Boolean function Fn+m(X$\rarr$), where m is any positive integer, can be realized by a weight threshold vector [Wn+m$\rarr$; T$\rarr$]. The above-cited weight vectors Wn and Wn+m, are constrained by Sigma i=1n wi = Sigma i=1n+m wi. If Sigma |wi|= Sigma i=1n+m |wi|, then optimal realization vectors seem to be obtained. Similarly n-m variable self-dual or self-complementary dual functions can like-wise be obtained; however, realization vectors are in general not optimal in nature. Since self-complementary dual functions can always be obtained for 2-threshold realizable functions, the present discussion suggests the classification of 2-threshold realizable functions by self-complementary dual functions.
[1]
Saburo Muroga.
Generation and Asymmetry of Self-Dual Threshold Functions
,
1965,
IEEE Trans. Electron. Comput..
[2]
Eiichi Goto,et al.
Some Theorems Useful in Threshold Logic for Enumerating Boolean Functions
,
1962,
IFIP Congress.
[3]
Saburo Muroga,et al.
Functional forms of majority functions and a necessary and sufficient condition for their realizability
,
1961,
SWCT.
[4]
Paolo Ercoli,et al.
Threshold Logic with One or more than One Threshold
,
1962,
IFIP Congress.
[5]
Donald R. Haring,et al.
A Realization Procedure for Multithreshold Threshold Elements
,
1967,
IEEE Trans. Electron. Comput..
[6]
Iwao Toda,et al.
On the Number of Types of Self-Dual Logical Functions
,
1962,
IRE Trans. Electron. Comput..
[7]
Robert C. Minnick,et al.
Linear-Input Logic
,
1961,
IRE Trans. Electron. Comput..
[8]
Saburo Muroga,et al.
Lower Bounds of the Number of Threshold Functions and a Maximum Weight
,
1962,
IEEE Trans. Electron. Comput..
[9]
Donald R. Haring,et al.
A Tabular Method for the Synthesis of Multithreshold Threshold Elements
,
1967,
IEEE Trans. Electron. Comput..