资源简介
输入形式如A&B|~C&E#,以#结束,|是或&是且~是非
代码片段和文件信息
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-fr
文件 1104 2009-10-25 11:10 Real\doc\allclasses-nofr
文件 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个文件信息
评论
共有 条评论