2019年10月31日

boolean functions and beyon

摘要： 1. boolean functions 2. syntax and revisited 3. Conjunctive and Disjunctivenormal form CNF: product of sums DNF: sum of products 4. 不是所有的formula都是CNF或 阅读全文

posted @ 2019-10-31 16:49 Eleni 阅读(168) 评论(0) 推荐(0) 编辑

lecture10.21

摘要： 1. truth valuation 2. 3. logical equivalence 证明两个formula逻辑成立的方法有：比较所有truth table，均推出相同结果；互相可以推出且恒成立；借助第三个formula 4. theories ＆ entailment 5. entailmen 阅读全文

posted @ 2019-10-31 13:41 Eleni 阅读(102) 评论(0) 推荐(0) 编辑

导航