marg助记

Formulas in the MAX ( 1) and MARG ( 1), it is shown that the literal renaming problems are solvable in linear time, and the variable renaming problems are solvable in quadratic time.

证明了对于MAX（1）和MARG（1）中的公式，文字改名问题在线性时间内可解，变元改名问题在平方次时间内可解。

Both MAX ( 1) and MARG ( 1) are subclasses of the minimal unsatisfiable formulas, and formulas in these subclasses can be represented by trees.

MAX（1）和MARG（1）是极小不可满足公式的两个子类，这两个子类中的公式可以用树表示。

Marg was no ordinary 84-year-old woman. She was a grandmother, a wife, and daredevil. There was nothing she wouldn't try once.

玛格不是普通的84岁老妇人，她是祖母，是妻子，同时也是个不怕死的人，没有什么东西她没尝试过。