3-11重言式判定之解析树(上)