布尔逻辑

如果 x 为真，y 为真，则 z 为真。否则 z 为假。 由此我们设计出与门。