摘要: ! 阅读全文
posted @ 2025-11-30 23:12 ~shy~ 阅读(1) 评论(0) 推荐(0)
摘要: ![a73770a5b05ce595ade31d4a9bc2a890](https://img2024.cnblogs.com/blog/3711200/202511/3711200-20251130135808900-51181094.jpg) ![ed9fa79351ec99b22c857ba5595b43d1](https://img2024.cnblogs.com/blog/3711200 阅读全文
posted @ 2025-11-30 13:59 ~shy~ 阅读(4) 评论(0) 推荐(0)
摘要: ![63a6205061e44a1915d91c9a23368a27](https://img2024.cnblogs.com/blog/3711200/202511/3711200-20251117122544027-489124401.jpg) ![29ce9e65a080ba67c2015a8b09742141](https://img2024.cnblogs.com/blog/371120 阅读全文
posted @ 2025-11-17 12:26 ~shy~ 阅读(5) 评论(0) 推荐(0)
摘要: 一、公式类型: 1.重言式 2.矛盾式 3.可满足式 二、判断公式类型的方法: 1.真值表法 2.等值演算法(核心在于) 用等值演算法证明两个式子是等值的 析取范式、合取范式 可见:一个公式的析取范式与合取范式是不唯一的 主合取范式 主析取范式 求主合取范式、主析取范式 一、真值表法 二、等值演算法 阅读全文
posted @ 2025-11-17 12:19 ~shy~ 阅读(8) 评论(0) 推荐(0)
摘要: 命题:能明确判断真假(要么真、要么假,二者必居其一且仅居其一)的陈述句,就是命题。 其核心是:命题的真值是唯一的,可能无法准确判断是否为真还是为假,但一定是其中一个 反例: 总结:^都为真才真、 v都为假才为假 、 -> 是 1->0才为假 优先级: 将下列命题符号化: 兼容与不兼容: p->q:p 阅读全文
posted @ 2025-11-15 22:52 ~shy~ 阅读(6) 评论(0) 推荐(0)
摘要: 一、Hello World代码演示 注意固定格式:public static void main(String[] args){} 二、理解不同类型的Set(集合) 把Set想象成“存放东西的容器”,里面的东西不能重复(比如不能有两个一模一样的苹果) 四种不同的Set: 1.HashSet —— 【 阅读全文
posted @ 2025-11-07 20:40 ~shy~ 阅读(15) 评论(0) 推荐(0)