状态转换真值表，特性方程，状态转换卡诺图，状态转换图