逻辑门与数理逻辑融合

1