逻辑表达式解析器

离散数学有一个选做作业, 其实之前我就想做。

1. 由命题公式列出真值表(通过键盘输入公式并进行适当的语法检查,然后根据公式列出(显示)相应的真值表。

2. 由已知的真值表列写命题公式。

3. 计算命题公式的主析取范式和主合取范式

发表评论

注意 - 你可以用以下 HTML tags and attributes:
<a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <s> <strike> <strong>

:wink: :twisted: :roll: :oops: :mrgreen: :lol: :idea: :evil: :cry: :arrow: :?: :-| :-x :-o :-P :-D :-? :) :( :!: 8-O 8)

本文链接:https://twd2.me/archives/7744QrCode