- 博客(2)
- 收藏
- 关注
RSS订阅原创 离散数学：合式公式解释程序另解（详细解析版）
是否需要被替换还有另一种方法，可以通过判断运算符两侧是不是有括号，若两侧都无括号则代表作为一个整体替换，若左右中的一侧有括号，则对应ab的情况。若左右均有括号，则无需替换，不过也需要特别注意重复替换的可能性，记得标记。的式子也不是合式公式，它的解决方式比较简单，只需要判断括号内是不是有运算符即可。都是二操作数的符号，像植树问题一样，那么在合法的公式中字母数总和一定是上面四种符号的和。来判断，而且由于替换，这个判断只在开头做一次就可以了。也是一个合式公式，那么它的旁边必然有一个操作符，
2023-05-09 03:04:48
815
3
原创 命题公式解析程序
合式公式（WFF）解释器 编程得出给定合式公式（该合式公式的原子命题由小写字母给出）不同阶段的公式。 原子命题的符号要改为大写字母（从A开始，按照字母表顺序）。 ~表示非， \/表示析取，/\表示合取，->表示蕴含，表示等价。 若是非合式公式则输出 ‘-1’ 。
2023-05-07 20:02:05
187
3
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人