摘要:
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)] 常规解法具... 阅读全文