用等值演算求的主析取范式。