# 离散实验代码

**Repository Path**: XMwumang/discrete-experimental-code

## Basic Information

- **Project Name**: 离散实验代码
- **Description**: 记录离散实验的代码，别问，老师要求的
- **Primary Language**: Unknown
- **License**: Not specified
- **Default Branch**: master
- **Homepage**: None
- **GVP Project**: No

## Statistics

- **Stars**: 0
- **Forks**: 0
- **Created**: 2025-05-08
- **Last Updated**: 2025-05-19

## Categories & Tags

**Categories**: Uncategorized

**Tags**: None

## README

# 简介
为了完成离散实践作业而写的，可以根据输入的命题以及相应的前提，快速给出对应真值为1的方案。
例如：
``` text
请输入命题数量：3
命题p：派A去
命题q：派B去
命题r：派C去
请输入条件数量：3
条件1：p-r
条件2：q-!r
条件3：!r-(p|q)
方案1：派B去
方案2：派C去
方案3：派A去,派C去
```

`!`对应否定联结词`┐`

`-`对应蕴含联结词`→`

`+`对应等价联结词`↔`

`|`对应析取联结词`∨`

`&`对应合取联结词`∧`

！！！注意：输入的命题数量和条件数量必须大于0，否则会报错。

！！！注意：尚未处理空格，输入时请一定小心。