• 大小: 66KB
    文件类型: .rar
    金币: 1
    下载: 0 次
    发布日期: 2021-06-08
  • 语言: Java
  • 标签: 真值表  

资源简介

输入形式如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-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个文件信息

评论

共有 条评论