参考答案：

能行方法是一种机械的判定方法。一种判定方法所以能行必须满足三个条件：

（1）判定程序的每一步都事先给出确定的操作指令；

（2）该程序能在有限步内结束；

（3）对所判定的问题，能给出惟一确定的结果。真值表方法就是这样一种能行方法。