The Experts below are selected from a list of 60 Experts worldwide ranked by ideXlab platform
Ding Diankun - One of the best experts on this subject based on the ideXlab platform.
-
the solution s method of Logic Equation group composed of non zero type and non one type Logic Equations
Journal of Beihua University, 2008Co-Authors: Ding DiankunAbstract:The sufficient and necessary condition of forming Logic Equation group is given,and change Logic Equation group into zero type and one type Logic Equations.It gets the following conclusion S1+S2: If solution sets of two zero type Logic Equations are S1,S2 separately,thus solution set of Logic Equation group is S1+S2;If solution sets of two one type Logic Equations are S3,S4 separately,thus solution set of Logic Equation group is S3+S4,so we can apply the conclusions to solve Logic Equation group composed of non-zero type and non-one type Logic Equations.
-
request of solution sets of Logic Equational group by applying the relation of Logic Equation solution sets
Journal of Jishou University, 2007Co-Authors: Ding DiankunAbstract:The article gives some theories about the relations among solution sets of Logic Equations ∏from i=1 to m (Fi+■)=1,∏from i=1 to m Fi■=1 and Logic Equational group {F1=G1, Fm=Gm.The following conclusion is obtained:if solution set of ∏from i=1 to m (Fi+■)=1and ∏from i=1 to m Fi■=1 are S1,S2 separately,thus solution set of Logic Equational group {F1=G2, Fm=Gm is S1-S2.
-
an investigation and application of Logic Equation s solution set
Journal of Xinjiang Normal University, 2006Co-Authors: Ding DiankunAbstract:In order to make the solution of non-zero type and non-one type Logic Equations F=G varied and easy,this paper advances some theories on the relations among solution sets of Logic Equations F=G,F+=1,F·=1;and puts foward the method to change Logic Equation F=G into zero type or one type Logic Equation and corresponding consequences;and gives their proofs.The following conclusion is made accordingly: if solution set F+[AKG-]=1of and F·=1 are S_1,S_2、separately,thus solution set of F=G is S_1-S_2;If solution set of F+G=0 and +=0are S_3,S_4、separately,thus solution set of F=G is S_3+S_4;and if solution set of F·G=1 and ·=1 are S_3,S_4、 separately,thus solution set of f=G is S_3′+S_4′.We can apply this conclusion to solute non-zero type,non-one type and other relational Logic Equations.
Wang Tingming - One of the best experts on this subject based on the ideXlab platform.
-
numerical characteristic for the solution set of Logic Equation in two valued propositional Logic
Journal of Dezhou University, 2013Co-Authors: Wang TingmingAbstract:In the two-valued propositional Logic system,the type of Logic Equation τ(A →X) =α plays an important role in the study of the structure of conclusion set in finite theory.In this paper,we discuss the Logic operations and relevant properties based on the truth degree of Logic Equation like τ(A →X) =m/ 2n.Meanwhile,we also obtain some numerical expressions of numerical characteristic which can reflect the structure of solution set.And this study can be used to achieve the numerical results of the solution set in the form of this type of Logic Equation and its application for further study.
-
solution set structure for the Logic Equation τ a x m 2 n in two valued propositional Logic
Fuzzy systems and mathematics, 2011Co-Authors: Wang TingmingAbstract:In the two-valued propositional Logic system,the type of τ(A→X)=α Logic Equation plays an important role in the study of the structure of conclusion set in finite theory,as well as the approximate reasoning.In this paper,we obtain some necessary and sufficient conditions which can judge whether or not the formula in the two-valued propositional Logic is the solution of the Logic Equation τ(A→X)=m2n.We also get the classification theorem of the Logic Equation's solution set described above according to the equivalence of the truth degree and Logical equivalence respectively.Meanwhile,we discuss the numerical representation of the supreme of formula's pseudo metric in the solution set of Logic Equation which can supply some useful structural methods for further study of the solution set above-mentioned.
Daizhan Cheng - One of the best experts on this subject based on the ideXlab platform.
-
solving Logic Equation via matrix expression
Frontiers of Electrical and Electronic Engineering in China, 2009Co-Authors: Daizhan ChengAbstract:A new matrix product, called semi-tensor product of matrices, is introduced. Using this, an algebraic expression of Logic is proposed, where a Logical variability is expressed as a vector, a Logic function is expressed as a matrix and the function values are obtained by the product of matrix with its arguments’ vectors. Under this framework, the problem of solving Logic Equations is investigated. For a static Logic Equation, we convert it into a set of linear algebraic Equations. Then the solution becomes obvious. Some examples are presented to show that it is useful for Logic infection.
Yang Bingru - One of the best experts on this subject based on the ideXlab platform.
-
boolean matrix presentation of rough set concept and operation
Computer Engineering, 2005Co-Authors: Yang BingruAbstract:The paper builds the relationship of attribute set, Boolean matrix and Logic Equation set. And based on it, the Boolean matrixpresentation of rough set concept and operation is given. At last, the paper proves the equivalence of the attribute reduction under the presentation ofBoolean matrix and algebra.
Diankun Ding - One of the best experts on this subject based on the ideXlab platform.
-
the relationship between solution sets to Logic Equation and Logic Equation set and their application
Fuzzy Systems and Knowledge Discovery, 2011Co-Authors: Diankun DingAbstract:This paper gives the theorem on relationship between solution sets to Logic Equation and Logic Equation set and the corresponding corollary. The conclusion is as the following: If the solution sets to two one-type Logic Equations are X 1 and X 2 respectively, then the solution set of the Logic Equation set is X 1 ∩ X 2 ; and if the solution sets to two zero-type Logic Equations are X 3 and X 4 respectively, then the solution set to the Logic Equation set is X 3 ∪ X 4 . Therefore solution sets to non-zero and non-one type Logic Equation set can be got by using such a conclusion.
-
method for solving Logic Equation set consist of zero one non zero and non one type Logic Equation
Fuzzy Systems and Knowledge Discovery, 2010Co-Authors: Diankun Ding, Xuping ZhangAbstract:In order to make the solution of Logic Equation set more flexible, this paper establishes the sufficient and necessary conditions for the Logic Equation set consist of zero-one, non-zero and non-one type Logic Equations to hold. Moreover, the method of converting the Logic Equation set into zero-type or one-type Equations is given, through which the Logic Equation set made up of zero-one, non-zero and non-one type Logic Equations can be solved effectively.