用布尔表达式描述电路行为