- 13
- 0
- 约5.9千字
- 约 52页
- 2017-02-04 发布于江苏
- 举报
2. 事实表达式的与或图表示 根节点 Q(V,f(V))∧{[(R(V)∧P(V))]∨S(f(V),V)} 与、合取 Q(V,f(V)) [(R(V)∧P(V))]∨S(f(V),V) 或、析取 R(V)∧P(V) S(f(V),V) 叶节点 文字 R(V) P(V) 通常,把事实表达式的与或图表示倒过来画,即把根节点画在最下面,而把其后继节点往上画。 3. 与或图的F规则变换 我们把允许用作规则的公式类型限制为下列形式: L = W 式中,L是单文字;W是与或形表达式 例如:事实表达式:P∨[S∧(T∨U)] 规则:S =(X∧Y)∨Z P∨[S∧(T∨U)] P 析取 S∧(T∨U) S 合取 T∨U S T U Z X∧Y 应用一条F规则L
您可能关注的文档
最近下载
- 打井机井施工方案.doc VIP
- 2025年中国特种设备检测研究院招聘面试题库附答案.doc VIP
- 2024年黑龙江省哈尔滨市中考数学试题卷(含答案解析).docx
- 2025年贵州省黔东南州中考文科综合试题卷(含答案解析).docx
- 2025年山东潍坊初中学业水平考试地理试卷真题(含答案详解).pdf VIP
- GBT 18482-2010 可逆式抽水蓄能机组启动试运行规程.pdf
- 2024-2025学年天津市和平区人教版五年级下册期中测试数学试卷【含答案】.pdf VIP
- 2026医疗影像AI诊断系统临床应用与商业化报告.docx
- 新产品开发流程管理全套文档.docx VIP
- 2025年中国特种设备检测研究院招聘面试预测题及答案.doc VIP
原创力文档

文档评论(0)