真值表计算器
本页面用于命题逻辑公式真值表的计算
页面核心代码来自
此处
该生成器支持以下逻辑运算符:
异或：^
逻辑合取（且）：/\
逻辑析取（或）： \/
逻辑否定（非）： ~
实质蕴含：->
实质等价：<->
^
/\
\/
~
->
<->