Как выполняется импликация в методе PODEM?

Какая импликация используется в методе PODEM?

На каком этапе возможен конфликт в методе PODEM?

Какие действия выполняются при возникновении конфликта в методе PODEM?

По какому критерию производится выбор вентиля в D-границе в методе PODEM?

Какая импликация используется в методе FAN?

Какими процедурами отличается метод PODEM от -алгоритма?

К чему сводится прямая логическая импликация?

Что "прослеживается" в методе обратного прослеживания?

Какая запись цели используется в методе FAN?

С чем ассоциируется список неисправностей в конкурентном методе?