package?zhenzhibiao;
/**
?*?得到真值表前半部分的類
?*?@author?Administrator
?*
?*/
public?class?Array?
{
??????private?int??A[][]=null;
??????/**
???????*??get?方法，方便外部的使用，這樣就可以通過外部的方法調用得到A數組
???????*?@return
???????*/
	public?int[][]?getA（）?{
		return?A;
	}
	/**
	?*?根據變元的個數求得真值表前半部分的數組
	?*?@param?a
	?*?@param?n
	?*/
	public?void?setA（int[][]?aint?n）?{
		int?m;
		m=pow（2n）;//m是列數，n是行數，m=2的n次方
		?a=?new?int[m][n];
		int?k;
		boolean?flag;
		for（int?j=0;j		{
			flag=true;
			k=（int）pow（2n-j-1）;//按列看第一列是2的n-1次方個0開始的，然后是1，第二列式2的n減2次方個0開始和1交替出現的，k就是起這個作用
			for（int?i=0;i			{
				if（i%k==0）?flag=!flag;
				if（flag）?a[i][j]=1;
				else
					a[i][j]=0;
			}
		}
	A?=?a;
	}
	/**
	?*?求i的j次方，這里當然是2的j次方
	?*?@param?i
	?*?@param?j
	?*?@return
	?*/
	public?static?int?pow（int?i?int?j）?{
		int?s=1;
		for（int?x=0;x		{
			s*=i;
		}
		return?s;
	}
}

?屬性????????????大小?????日期????時間???名稱
-----------?---------??----------?-----??----

?????文件????????301??2009-10-24?17:56??Real\.classpath

?????文件????????380??2009-10-24?17:56??Real\.project

?????文件????????629??2009-10-24?17:56??Real\.settings\org.eclipse.jdt.core.prefs

?????文件????????977??2009-10-25?11:07??Real\bin\zhenzhibiao\Array.class

?????文件???????2257??2009-10-25?11:05??Real\bin\zhenzhibiao\count.class

?????文件???????1113??2009-10-25?16:31??Real\bin\zhenzhibiao\DealWithInPut.class

?????文件????????734??2009-10-25?10:54??Real\bin\zhenzhibiao\GetIOsp.class

?????文件???????1606??2009-10-25?11:08??Real\bin\zhenzhibiao\NewStack.class

?????文件???????2599??2009-10-25?16:20??Real\bin\zhenzhibiao\Real.class

?????文件???????1224??2009-10-25?11:10??Real\doc\allclasses-frame.html

?????文件???????1104??2009-10-25?11:10??Real\doc\allclasses-noframe.html

?????文件???????5047??2009-10-25?11:10??Real\doc\constant-values.html

?????文件???????5012??2009-10-25?11:10??Real\doc\deprecated-list.html

?????文件???????8057??2009-10-25?11:10??Real\doc\help-doc.html

?????文件???????6195??2009-10-25?11:10??Real\doc\index-files\index-1.html

?????文件???????6126??2009-10-25?11:10??Real\doc\index-files\index-10.html

?????文件???????6445??2009-10-25?11:10??Real\doc\index-files\index-11.html

?????文件???????6142??2009-10-25?11:10??Real\doc\index-files\index-12.html

?????文件???????5940??2009-10-25?11:10??Real\doc\index-files\index-13.html

?????文件???????7564??2009-10-25?11:10??Real\doc\index-files\index-2.html

?????文件???????6303??2009-10-25?11:10??Real\doc\index-files\index-3.html

?????文件???????7374??2009-10-25?11:10??Real\doc\index-files\index-4.html

?????文件???????6091??2009-10-25?11:10??Real\doc\index-files\index-5.html

?????文件???????6094??2009-10-25?11:10??Real\doc\index-files\index-6.html

?????文件???????6107??2009-10-25?11:10??Real\doc\index-files\index-7.html

?????文件???????6310??2009-10-25?11:10??Real\doc\index-files\index-8.html

?????文件???????6096??2009-10-25?11:10??Real\doc\index-files\index-9.html

?????文件???????1199??2009-10-25?11:10??Real\doc\index.html

?????文件???????5780??2009-10-25?11:10??Real\doc\overview-tree.html

?????文件?????????13??2009-10-25?11:10??Real\doc\package-list

............此處省略38個文件信息