* 显示合适公式的真值表 * 提供将一个中缀合适公式的真值表输出到某一PrintStream流中的功能 * 以单个大写字母表示变量（支持26个变量） * 以字符0或者1表示值 * 以 ~ ^ & > - 分别表示 非 析取 合取 条件 双条件 连接词 * 支持 ( )（括号） * 如果公式中有错误将不会输入真值表（将会输出错误信息） 说明：以 ~ ^ & > - 分别表示 非 析取 合取 条件 双条件 连接词 以单个大写字母表示变量（支持26个变量） 以字符0或者1表示值，式子中的T与F 支持 ( )（括号） 如果公式中有错误将不会输入真值表（将会输出错误信息） 注意：输出的结果会同时显示到屏幕与该程序的同目录下的“真值表结果.txt”文件中 直接按回车键（输入为空）则会退出程序 例如：输入 A^B-(1&C)则会显示 该合适公式是 A^B-(1&C) A B C Key 0 0 0 0 1 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 0 0 1 1 0 1 1 1 1

实 验 一利用真值表法求取主析取范式以及主合取范式的实现 实验名称：利用真值表法求取主析取范式以及主合取范式的实现 实验目的：通过编程实现主析取范式以及主合取范式的真值表求法以巩固相关理论的掌握 实验类型：验证 实验学时：4 实验环境：Windows+VC 从屏幕输入含三个以内变量的合式公式（其中联结词按照从高到底的顺序出现） 可用字符数组a记录输入的合式公式 如：输入PQPQ ！表示；&表示；|表示；>表示；-表示 规范列出所输合式公式的真值表 多重循环显示真值表（1表示T，0表示F，先1后0） P Q A 1 1 ？ 将赋值代入公式（可用数组b记录与a中变量对应的赋值） b[0/2/4/6]=-1, b[1/5]=P值, b[3/7]=Q值 从左往右计算（用switch a[i] case对运算符进行处理） ：b[i+1]=! b[i+1] ：b[i+1]=b[i-1] && b[i+1] …

以 ~ ^ & > - 分别表示 非 析取 合取 条件 双条件 连接词以单个大写字母表示变量（支持26个变量）以字符0或者1表示值，式子中的T与F，支持 ( )（括号），有界面，这是源代码，可以自己直接在eclipse中运行

c语言离散数学程序设计，求真值表，析取，合取 真值表，析取，合取程序设计，离散数学，C语言，小程序，报告 自己编的小程序，拿来和大家分享 希望有用，初学离散懒得算的也可以用用

此文件实现了离散中的输出真值表，应用了栈的技术，可以帮助java学习者更好的巩固基础

数据选择器的功能及应用，采用2个4选1数据选择器（74LS153）构成1个8选1数据选择器，要求自己设计电路，画出逻辑电路接线图，连接调试，并测试真值表，验证设计电路是否符合要求

用C语言实现离散数学中的任意合式公式的真值表

里面有四个代码，分别是真值表的判断，并交差集、判断二元关系、判断欧拉图；每个代码的具体功能实现是分开方法写的，读者可以快速知道某个功能的具体实现方式

Euler 传递闭包 公式的真值表 关系的判定 集合的幂运算 结合律的判定 两个集合的卡积 零元和单位元 同构关系的判定 自反闭包和对称闭包

四则表达式求真值表，支持与或非蕴含等 直接就应该可以用