对下列公式应用Horn算法
(T →q) ∧ (T →s) ∧ (w →⊥) ∧ (p ∧ q ∧ s→⊥) ∧ (v → s) ∧ ( (T →r) ∧ (r → p)
1.第一次循环：标记q, s, r
2.第二次循环：标记p
由于p,q,s全被标记，所以第三次循环会标记⊥
所以是“不可满足的”
2021-12-21 14:48:15
5.11MB
1
本书全面系统地介绍了Excel 2013函数与公式的技术特点和应用方法，深入揭示背后的原理概念，并配合大量典型实用的应用案例，帮助读者全面掌握Excel的函数与公式。全书共分为4篇共31章，内容包括函数导读、常用函数、函数综合应用、其他功能中的函数应用。附录中还提供了Excel 2013规范与限制、Excel 2013常用快捷键、Excel函数及功能等内容，方便读者查阅。
本书适合各层次的Excel用户，既可作为初学者的入门指南，又可作为中、高级用户的参考手册。书中大量的实例还适合读者直接在工作中借鉴。
2021-07-23 16:14:49
17.71MB
1
该pdf为一个ppt讲义的pdf版本，涉及到现在2D图像的基本变换，及其实例的公式推导，比如平移、旋转等等。
2021-05-04 12:05:57
659KB
1