真值表生成器
「是个真值表生成器,但不完全是~」
关于
by.
ouuan
Source Code @ GitHub
Built with
Vue 3
and
Naive UI
是离散数学这门课的选做作业,用的教材是
石纯一、王家廞:《数理逻辑与集合论(第二版)》
输入
运算符的种类,表示方法,以及优先级顺序:
非: !,与: &,或: |,蕴含: >,等价: =
T/F 或 true/false 表示真/假
命题变项用除了 T/F 的单个大写字母表示
显示更多
输入逻辑表达式
!(P & Q) = !P | !Q