判定表和因果图

判定表：（用于判定条件少的可用全部覆盖，条件多就很困难）
12306    输入账号，密码   验证码  进行登录
   
   
   

因果图
   
c：原因
e：结果
非：~ not   ≠    ：当原因出现的时候，结果一定不出现
或：or 、/,   ||     ：多个原因中有一个原因 出现   结果一定会出现
与：^，&   and     多个原因同时出现，才会出现结果
恒等：==   一个原因  一个结果
约束符合：
e: 可用两个度不选，但是选的话只能选一个
i：所有原因中最少选一个，也可以都选
o：唯一：有且仅有一个（不能两个都选和都不选）
R：要求：武汉市出现的时候要求出现湖北省
M：强制