摘要：
1. ASCII码 1> ASCII码不包括我们输入法中的"特殊字符"和"数学字符"等，他们都属于扩展ASCII 字符 2. GBK编码 GBK实际上是ASCII的中文扩展编码，其规则是： 1> 如果第一个字节的大于127（0x7F, 0111 1111，即最高位为0），则表示从这个字节开始的2个字节是表示一个汉字，否则，则是一个英文ASCII码 2> GBK是兼容ASCII的 ... 阅读全文
摘要：
1. 问题有2个一阶逻辑公式G(a, b, c), H(a, b, c)，如何能够证明G == H，或者G != H如：(A∧B) ∧ (A∨C) == B ∧ [A∨(A∧C)] 2. 常规解法我们可以通过公式推导，将右边的公式转化为左边的(A∧B) ∧ (A∨C)= A∧B∧(A∨C)= B ∧ [A∧(A∨C)]= B ∧ [（A∧A)∨(A∧C)]= B ∧ [A∨(A∧C)] 常规解法具... 阅读全文