3-12重言式判定之解析树(中)