结构推理 求函数的冗余覆盖。
【正确答案】用张弛法求得无冗余覆盖:
【答案解析】