用等值演算法推导命题公式 的主析取范式。
Intellectual-property experts are trying to( )new models that will allow the film industry to survive downloading.