符号说明
与 > 或 > 非 例如:
说明：A、B取值为0或1，相当于boolean类型，0：false，1：true
反演律的证明 使用穷举法，用真值表列出所有情况
以上的特殊符合可以在WPS的word中 插入/ 公式
逻辑表达式基本定律
原文：https://www.cnblogs.com/linkenpark/p/12053537.html
