逻辑门电路功能的验证(基本逻辑门和复合逻辑门)