demorgan定理指出什么

问题描述

精选答案

对现代计算学的贡献之一是两条定律：AND语句能够转换成OR语句，反之亦然。这两条定律是：

1.NOT (A AND B)=(NOT A) OR (NOT B)

2.NOT (A OR B)= (NOT A) AND (NOT B)

从摩根定律看来，语句“天不下雨，我就不会淋湿”与“天正在下雨，且我正在被淋湿”是一个意思。同样，从第二个定律看来，语句“警察总是说谎或者教师总是知道真相这个事实不是真的”变成了“警察不总是说谎，教师不总是知道真相”。