各种逻辑门的符号及表达式