歸約積語句(reduced product sentence)一種霍恩語句.指在歸約積下保持的語句件筍是歸約積語句,若且唯若獷等價於一個霍恩語句. ...
歸約冪語句(reduced power sentence)一種霍恩語句.指在歸約冪下保持的語句.筍為歸約冪語句,若且唯若只在獷等價於若干霍恩語句的析取. ...
