119day（阅读Core java第二章，常见的重言等值式）

《2018年2月7日》【连续119天】

标题：阅读Core java第二章，常见的重言等值式；

内容：
A.阅读了core java的第二章，学习了有关编译和运行java的机制；

记下了一些术语；

 

B.复合命题按照真值不同分为重言式（必真），矛盾式（必假）和协调市（有真有假）；

重言等值式：

1.双重否定律：p<->﹁﹁p;

2.实质蕴含律：(p->q)<->（﹁p∨q）  ,(p->q)<->﹁(p∧﹁q)

3.蕴含易位律：
A↔B⇔┐A↔┐B

交换律：
A∨B⇔B∨A
A∧B⇔B∧A
结合律：
（A∧B）∧C⇔A∧（B∧C）
（A∨B）∨C⇔A∨（B∨C）
分配律：
A∨（B∧C）⇔（A∨B）∧（A∨C）
A∧（B∨C）⇔（A∧B）∨（A∧C）
德摩根律：
┐（A∨B）⇔┐A∧┐B
┐（A∧B）⇔┐A∨┐B

 

 

明日计划：早睡早起；