离散数学——逻辑推理系统

逻辑判断-推理系统 逻辑判断系统 设计概要： 根据联结词的优先级：￢∧∨→↔ 输入中缀逻辑式 将之转化为后缀表达式 得到公式模板（后缀式）和变量名集合 构造<变量名,bool>的映射关系 根据后缀式和 构造好的<变量-bool> 映射 可计算其真值 类实现： C++：（初次实现，无图形界面） class Logic { public: 方法： Logic();                   

>>阅读原文<<