3-13重言式判定之解析树(下)