中英▼
go top

是常用的布尔命题逻辑

网络释义

  Boolean propositional logic

CTL是常用的布尔命题逻辑(Boolean propositional logic, BPL)的扩展，除了支持包括“和(and)、“或(or)、“否(not)、“蕴涵(implies)在内的BP...

基于12个网页-相关网页

  BPL

CTL是常用的布尔命题逻辑(Boolean propositional logic, BPL)的扩展，除了支持包括“和(and)、“或(or)、“否(not)、“蕴涵(implies)在内的BP...

基于3个网页-相关网页

有道翻译

是常用的布尔命题逻辑

Is commonly used Boolean propositional logic

以上为机器翻译结果，长、整句建议使用 人工翻译 。

$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定