歸約冪語句

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