离散数学实践一编程判断主析取范式和主合取范式【java实现】

曾经终败给现在 2024-03-30 12:21 112阅读 0赞

#### 文章目录 ####

*  实验要求
 *  二 编程思路分析
 *   *  困难所在
 *  二 完整代码

## 实验要求 ##

1.  实验类型：设计性
2.  实验目的
    
     *  通过算法设计并编程实现，使学生掌握利用计算机语言判别合式公式主范式的基本方法。
3.  实验内容
    
     *  给定合式公式(任意数量命题变项)的真值表可判断该公式的主析取范式和主合取范式。
4.  实验仪器设备或软件环境及工具
    
     *  软件环境与编程语言不限。  
        5、实验要求
     *  复习合式公式主析取范式与主合取范式的定义，实验由一人一组完成。所编程序能够通过编译，并能够对给定任意数量命题变项的合式公式判断是否为主析取范式或主合取范式。
5.  实验报告要求
    
    1.  写出实验过程中遇到的问题及其解决过程。
    2.  写出相应算法，并编写一个程序求出给定合式公式(任意数量命题变项)的真值表可判断该公式的主析取范式和主合取范式。。
    3.  写出实验结束时的程序清单及运行结果及实验总结

## 二 编程思路分析 ##

*  确定好变元的个数，同时计算出可能的取值种类。【即真值表的行数】
 *  然后通过逻辑处理，打印出正确的结果。

### 困难所在 ###

*  在打印，真值表的各个变元的真值时，如何巧妙计算？
 *  通过真值表的下标计算  
    ![在这里插入图片描述][15c4ad87d5434e5cacb6d045931937fb.png]

## 二 完整代码 ##

import java.util.Scanner;
    
    /**
     * @author 缘友一世
     * date 2022/12/26-16:52
     */
    public class demo01 {
        
    
        public static void main(String[] args) {
        
            Scanner scanner = new Scanner(System.in);
            int nums=0;
            String str=" ";
            String str2="pqrstuvwxyz";
            System.out.print("请输入变量的个数:");
            if(scanner.hasNextInt()) {
        
                nums= scanner.nextInt();
            }
            int[][] arr=new int[(int)Math.pow(2,nums)][nums];
            System.out.print("请输入"+Math.pow(2,nums)+"个字符<用T 或 F表示>:");
            scanner.nextLine();
            if(scanner.hasNextLine()) {
        
                str=scanner.nextLine();
            }
            scanner.close();
            String[] res = str.split(" ");
            //System.out.println(res.length);
            for(int i=0;i<nums;i++) {
        
                System.out.print(str2.charAt(i)+"\t");
            }
            System.out.println("A");
            System.out.println("---------------");
            for(int i=0;i<Math.pow(2,nums);i++) {
        
                for(int j=0;j<nums;j++) {
        
                    arr[i][j]=(int)(i/Math.pow(2,nums-j-1)%2);
                    if(arr[i][j]==1) {
        
                        System.out.print("T\t");
                    }else {
        
                        System.out.print("F\t");
                    }
                }
                System.out.println(res[i]);
            }
            String str3="";
            for(int i=0;i<Math.pow(2,nums);i++) {
        
                str3+=res[i];
            }
            System.out.println("输出主析取范式:");
            int lastTrueNum=str3.lastIndexOf('T');
            for(int i=0;i<Math.pow(2,nums);i++) {
        
                if(res[i].equals("T")) {
        
                    System.out.print("<");
                    for(int j=0;j<nums;j++) {
        
                        if(arr[i][j]==1) {
        
                            System.out.print(str2.charAt(j));
                            if(j!=nums-1 ) {
        
                                System.out.print("/\\");
                            }
                        }
                        if(arr[i][j]==0) {
        
                            System.out.print("!"+str2.charAt(j));
                            if(j!=nums-1 ) {
        
                                System.out.print("/\\");
                            }
                        }
                    }
                    System.out.print(">");
                    if(i!=lastTrueNum) {
        
                        System.out.print("\\/");
                    }
                }
            }
            System.out.print("\n主合取范式为\n");
            lastTrueNum=str3.lastIndexOf('F');
            for(int i=0;i<Math.pow(2,nums);i++) {
        
                if(res[i].equals("F")) {
        
                    System.out.print("<");
                    for(int j=0;j<nums;j++) {
        
                        if(arr[i][j]==0) {
        
                            System.out.print(str2.charAt(j));
                            if(j!=nums-1 ) {
        
                                System.out.print("\\/");
                            }
                        }
                        if(arr[i][j]==1) {
        
                            System.out.print("!"+str2.charAt(j));
                            if(j!=nums-1 ) {
        
                                System.out.print("\\/");
                            }
                        }
                    }
                    System.out.print(">");
                    if(i!=lastTrueNum) {
        
                        System.out.print("/\\");
                    }
                }
            }
        }
    }

![在这里插入图片描述][4e419da4a65b431290ef87ac4c2a95da.png]

[15c4ad87d5434e5cacb6d045931937fb.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/30/6ba93774bc384025a639bfd7c8c505fc.png
[4e419da4a65b431290ef87ac4c2a95da.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/30/bba3846310c649bcb5736b916e59226b.png