数理逻辑 —— 德摩根定律

De Morgan’s laws

AB¯¯¯¯¯¯¯¯¯AB¯¯¯¯¯¯¯¯¯=A¯¯¯B¯¯¯,=A¯¯¯B¯¯¯,

1. 德摩根定律与 σ 代数

σ 代数需要满足:

  • (1). ϕA
  • (2). AAAcA
  • (3). AiAiAiA

由 (1) 和 (2) 可知,ΩA
由 (3) 以及德摩根定律可知,iAiA

原文地址:https://www.cnblogs.com/mtcnn/p/9422496.html