1) NonZero CheckoutCode
非0校验
2) 0-1 checkout method
0-1校验法
3) nonexistent code check
非法码校验
4) multi-fold correction
0重校正
5) non-zero type
非0型
1.
In order to make the solution of non-zero type and non-one type logic equations F = G varied and easy,this topic gives a necessary and sufficient condition of logic equationF = G,which comes up with a method to change logic equationF = G into zero type or one type logic equation and corresponding consequence,and gives their proofs.
为了使解非0型、非1型的逻辑方程F=G更加灵活、多样化,给出了F=G成立的充要条件,将逻辑方程F=G化为0型或1型逻辑方程的方法和相应的推论,并给予证明。
2.
In order to make the solution of non-zero type and non-one type logic equation F=G varied and easy,this topic gives some theories about the relations among solution sets of logic equationsF=G、F+G=1、FG=1 and corresponding consequences,and gives their proofs.
从而可应用结论解非0型、非1型和某些有关的逻辑方程。
6) non-zero type and non-one type
非0非1型
1.
For the varied and easy solution to the logic equational group,this paper gives the necessary condition to establish the logic equational group made up of zero-one type and non-zero type and non-one type logic equations,and also gives the method to change the logic equational group into zero type and one type logic equations.
为了使解逻辑方程组灵活、方便、多样化,文章给出了由0-1型与非0非1型逻辑方程构成的逻辑方程组成立的充要条件、化逻辑方程组为0型或1型逻辑方程的方法,得到了若两个0型逻辑方程的解集分别为S1、S2,则逻辑方程组的解集为S1+S2;若两个1型逻辑方程的解集分别为S3、S4,则逻辑方程组的解集为S3+S4的结论。
补充资料：非想非非想处天
1.佛教语。即三界中无色界第四天。此天没有欲望与物质﹐仅有微妙的思想。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条