《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
明日计划:早睡早起;